src/Pure/Tools/phabricator.scala
Tue, 13 Sep 2022 09:38:02 +0200 wenzelm clarified signature: separate unrelated modules;
Sat, 10 Sep 2022 15:41:44 +0200 wenzelm proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
Fri, 08 Jul 2022 20:24:05 +0200 wenzelm more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
Fri, 01 Apr 2022 23:19:12 +0200 wenzelm tuned formatting;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Thu, 31 Mar 2022 22:40:34 +0200 wenzelm tuned: eliminted do-while for the sake of scala3;
less more (0) -100 -30 -10 -6 tip