Skip to content

bootstrap.ml: ignore errors when trying to remove generated files#5407

Merged
nojb merged 3 commits intoocaml:mainfrom damiendoligez:fix-sys-removeFeb 3, 2022

Commits

Commits on Feb 2, 2022

Commits on Feb 3, 2022