src/Pure/Tools/phabricator.scala
Thu, 14 Nov 2019 22:59:20 +0100 wenzelm more packages;
Thu, 14 Nov 2019 21:49:49 +0100 wenzelm misc tuning and clarification;
Thu, 14 Nov 2019 16:22:04 +0100 wenzelm tuned PHP setup;
Thu, 14 Nov 2019 16:07:34 +0100 wenzelm clarified errors: PHP daemon can fail under odd circumstances;
Thu, 14 Nov 2019 14:03:42 +0100 wenzelm more robust;
Thu, 14 Nov 2019 13:55:13 +0100 wenzelm tuned message;
less more (0) -30 -10 -6 tip