src/Pure/Tools/phabricator.scala
Wed, 30 Nov 2022 15:03:31 +0100 wenzelm clarified signature: prefer Scala functions instead of shell scripts;
less more (0) -100 -30 -10 -1 tip