src/Pure/System/executable.scala
Sun, 13 Apr 2025 12:29:31 +0200 wenzelm clarified signature: more uniform;
Sun, 13 Apr 2025 12:26:30 +0200 wenzelm tuned;
Sun, 13 Apr 2025 12:23:48 +0200 wenzelm more accurate MinGW path conversion: support locations outside of mingw.root;
less more (0) -10 -3 tip