Skip to content

Allow underscore as start of name of files and directories.#370

Closed
pehrsoderman wants to merge 1 commit intoKattis:masterfrom
pehrsoderman:allow_underscore
Closed

Allow underscore as start of name of files and directories.#370
pehrsoderman wants to merge 1 commit intoKattis:masterfrom
pehrsoderman:allow_underscore

Commits

Commits on Nov 27, 2025