src/Pure/Tools/phabricator.scala
Wed, 30 Nov 2022 15:03:31 +0100 wenzelm clarified signature: prefer Scala functions instead of shell scripts;
Fri, 25 Nov 2022 13:38:15 +0100 wenzelm clarified signature;
Fri, 16 Sep 2022 15:07:33 +0200 wenzelm clarified default, following 8b695e59db3f;
Fri, 16 Sep 2022 15:05:50 +0200 wenzelm tuned signature;
Fri, 16 Sep 2022 15:03:08 +0200 wenzelm tuned;
Fri, 16 Sep 2022 14:57:48 +0200 wenzelm clarified modules;
less more (0) -100 -30 -10 -6 tip