Skip to content

Makefile: Replace "which" by POSIX "command -v"#812

Open
ulm wants to merge 1 commit intoProofGeneral:masterfrom ulm:which
+3-3

Commits

Commits on Feb 24, 2025