Skip to content

Use updated, more permissive, regex for file and directory names#371

Merged
gkreitz merged 1 commit intoKattis:masterfrom
gkreitz:update_filename_regex
Nov 28, 2025
Merged

Use updated, more permissive, regex for file and directory names#371
gkreitz merged 1 commit intoKattis:masterfrom
gkreitz:update_filename_regex

Commits

Commits on Nov 28, 2025