--- old/make/langtools/intellij/template/workspace.xml 2020-04-29 12:11:10.364610689 +0200
+++ /dev/null 2020-02-11 10:29:13.086348146 +0100
@@ -1,22 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
--- /dev/null 2020-02-11 10:29:13.086348146 +0100
+++ new/make/ide/idea/langtools/intellij/template/workspace.xml 2020-04-29 12:11:09.972610692 +0200
@@ -0,0 +1,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+