Merged
Add a warning if an external executable is not in `PATH`#4932rjbou merged 3 commits intoocaml:masterfrom rjbou:check_path
rjbou merged 3 commits intoocaml:masterfrom rjbou:check_path
Add a warning if an external executable is not in PATH#4932
Merged
rjbou merged 3 commits intoocaml:masterfrom rjbou:check_pathApr 29, 2022
+31-7
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.