diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..e69de29
diff --git a/grammars/marte b/grammars/marte
deleted file mode 160000
index 1edbdc9..0000000
--- a/grammars/marte
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1edbdc955fe6c0cf5bccd33368f0eb03a62d2682