diff options
author | Christian Grothoff <christian@grothoff.org> | 2017-05-18 18:26:06 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2017-05-18 18:27:01 +0200 |
commit | 4286f067ae489e20563caaf19d2aa7de54e8c3ef (patch) | |
tree | e12b378d6679271fe1b33b0f34510fde4dcabb8e | |
parent | 57fef70492e9d6c0a88d025e8a716ab1db9ad202 (diff) |
remove empty dir
-rw-r--r-- | .gitmodules | 3 | ||||
m--------- | gnunet | 0 |
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 |