From 4286f067ae489e20563caaf19d2aa7de54e8c3ef Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 18 May 2017 18:26:06 +0200
Subject: [PATCH] remove empty dir

---
 .gitmodules | 3 ---
 gnunet      | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 gnunet

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
index 674d59da9..000000000
--- a/gnunet
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 674d59da9956998c0e33ad1a3aa9facc3ba66d10