src/Pure/Tools/phabricator.scala
changeset 75659 9bd92ac9328f
parent 75394 42267c650205
child 76104 5ee70e689eb3
--- a/src/Pure/Tools/phabricator.scala	Fri Jul 08 20:06:53 2022 +0200
+++ b/src/Pure/Tools/phabricator.scala	Fri Jul 08 20:24:05 2022 +0200
@@ -564,7 +564,7 @@
   /** setup mail **/
 
   val mailers_template: String =
-"""[
+    """[
   {
     "key": "example.org",
     "type": "smtp",