Skip to content

Add a find_command_opt alternative to find_command that does not raise#1778

Merged
voodoos merged 2 commits intoocaml:masterfrom voodoos:find-command-optJun 10, 2024

Commits

Commits on Jun 10, 2024