Remove dead git submodule

sharathvutpala · Mar 15, 2012 · 3e9d8c6 · 3e9d8c6
1 parent e04040c
commit 3e9d8c6
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "src/gwt/tools/ace"]
-	path = src/gwt/tools/ace
-	url = [email protected]:jcheng5/ace.git