Skip to content

Don't crash when providing (by mistake) a directory instead of a file.#20

Closed
RaphaelMarinier wants to merge 1 commit intoDOMjudge:mainfrom
RaphaelMarinier:fix_dir_crash
Closed

Don't crash when providing (by mistake) a directory instead of a file.#20
RaphaelMarinier wants to merge 1 commit intoDOMjudge:mainfrom
RaphaelMarinier:fix_dir_crash

Commits

Commits on Dec 9, 2024