From 68e39b80533c352022ec18df7bd5f53008bbb725 Mon Sep 17 00:00:00 2001 From: DennisOSRM Date: Wed, 26 Dec 2012 18:29:16 +0100 Subject: [PATCH] Removing Docs submodule --- .gitmodules | 3 --- Docs | 1 - 2 files changed, 4 deletions(-) delete mode 160000 Docs diff --git a/.gitmodules b/.gitmodules index 5bf44f703..e69de29bb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "Docs"] - path = Docs - url = https://github.com/DennisSchiefer/Project-OSRM-Web.git diff --git a/Docs b/Docs deleted file mode 160000 index f7150057d..000000000 --- a/Docs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f7150057d525de6246a4357f49d3319eba73e881