# HG changeset patch
# User wenzelm
# Date 1645909222 -3600
# Node ID 1994ee39e513fe91424dd62f413e88bf753fd38b
# Parent  a2311e4441f0c0ba585b3c04b2a2dbe8984b174f
removed junk;

diff -r a2311e4441f0 -r 1994ee39e513 src/Tools/VSCode/src/vscode_setup.scala
--- a/src/Tools/VSCode/src/vscode_setup.scala	Sat Feb 26 21:59:12 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_setup.scala	Sat Feb 26 22:00:22 2022 +0100
@@ -48,7 +48,7 @@
   "editor.renderIndentGuides": false,
   "editor.rulers": [80, 100]
 }
-""".stripMargin)
+""")
     }
   }