aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-05-18 18:26:06 +0200
committerChristian Grothoff <christian@grothoff.org>2017-05-18 18:27:01 +0200
commit4286f067ae489e20563caaf19d2aa7de54e8c3ef (patch)
treee12b378d6679271fe1b33b0f34510fde4dcabb8e
parent57fef70492e9d6c0a88d025e8a716ab1db9ad202 (diff)
remove empty dir
-rw-r--r--.gitmodules3
m---------gnunet0
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules
index 381d9c129..7625aa983 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,3 @@
[submodule "doc/api"]
path = doc/api
url = git@git.taler.net:api
-[submodule "gnunet"]
- path = gnunet
- url = git://taler.net/gnunet.git
diff --git a/gnunet b/gnunet
deleted file mode 160000
-Subproject 674d59da9956998c0e33ad1a3aa9facc3ba66d1