From 9eb499bbfb9c896c6520aaea2e7ba5e65bccb3ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20H=C3=B6rsch?= Date: Tue, 10 Jul 2018 17:19:05 +0200 Subject: [PATCH] Remove git submodule for costs --- .gitmodules | 3 --- data/costs | 1 - 2 files changed, 4 deletions(-) delete mode 100644 .gitmodules delete mode 160000 data/costs diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 78599195..00000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "data/costs"] - path = data/costs - url = hoersch@fias.uni-frankfurt.de:/home/vres/data/tom/playground/sector/data/costs diff --git a/data/costs b/data/costs deleted file mode 160000 index 4b475048..00000000 --- a/data/costs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 4b475048c82040d1c4dd307a7729a12a8c1a533f