From 008764ccdc3b66f04130ac925deaad3184924999 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Wed, 5 Jul 2017 11:26:20 +0200
Subject: [PATCH] remove dist submodule

---
 .gitmodules | 4 ----
 dist        | 1 -
 2 files changed, 5 deletions(-)
 delete mode 100644 .gitmodules
 delete mode 160000 dist

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 9ae11e7f..00000000
--- a/.gitmodules
+++ /dev/null
@@ -1,4 +0,0 @@
-[submodule "dist"]
-	path = dist
-	url = https://github.com/y-js/yjs.git
-	branch = dist
diff --git a/dist b/dist
deleted file mode 160000
index 42aa7ec5..00000000
--- a/dist
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 42aa7ec5c9c0b4f2734b5b01eae7f0df63bfd9ff