src/Pure/Tools/phabricator.scala
Wed, 06 Nov 2019 22:51:54 +0100 wenzelm support for Phabricator mail configuration;
Tue, 05 Nov 2019 22:55:50 +0100 wenzelm proper names for multiple installations;
Tue, 05 Nov 2019 22:44:51 +0100 wenzelm more phabricator setup;
Tue, 05 Nov 2019 22:08:15 +0100 wenzelm proper service name (again): it is specific to each installation;
less more (0) -10 -4 tip