Skip to content

Makefile: allow backslashes in INSTALL_DIR (for Windows)#19

Open
nojb wants to merge 1 commit intoocaml:masterfrom
nojb:fix_win32_paths
Open

Makefile: allow backslashes in INSTALL_DIR (for Windows)#19
nojb wants to merge 1 commit intoocaml:masterfrom
nojb:fix_win32_paths

Commits

Commits on Sep 1, 2024