src/Pure/System/mingw.scala
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 10 Oct 2020 22:06:17 +0200 wenzelm clarified message;
Sat, 10 Oct 2020 22:05:47 +0200 wenzelm tuned signature;
Sat, 10 Oct 2020 21:45:58 +0200 wenzelm clarified signature: allow complex bash script;
Sat, 10 Oct 2020 21:33:54 +0200 wenzelm clarified signature;
Sat, 10 Oct 2020 21:12:20 +0200 wenzelm clarified errors;
Sat, 10 Oct 2020 21:04:49 +0200 wenzelm tuned signature;
Sat, 10 Oct 2020 20:31:54 +0200 wenzelm support for MSYS2/MinGW64 on Windows;
less more (0) tip