16 files changed, 0 insertions, 16 deletions

diff --git a/src/dht/dht_api.c b/src/dht/dht_api.c
index c95fb8a8b..e31ac596c 100644
--- a/src/dht/dht_api.c
+++ b/src/dht/dht_api.c
@@ -26,7 +26,6 @@
  */
 
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_constants.h"
 #include "gnunet_signatures.h"
diff --git a/src/dht/dht_test_lib.c b/src/dht/dht_test_lib.c
index 2662fff93..29c5088d1 100644
--- a/src/dht/dht_test_lib.c
+++ b/src/dht/dht_test_lib.c
@@ -23,7 +23,6 @@
  * @brief library for writing DHT tests
  */
 #include "platform.h"
-#include "platform.h"
 #include "dht_test_lib.h"
 
 /**
diff --git a/src/dht/gnunet-dht-get.c b/src/dht/gnunet-dht-get.c
index b2b924835..1ae9235f8 100644
--- a/src/dht/gnunet-dht-get.c
+++ b/src/dht/gnunet-dht-get.c
@@ -24,7 +24,6 @@
  * @author Nathan Evans
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_dht_service.h"
 
 #define LOG(kind, ...) GNUNET_log_from (kind, "dht-clients", __VA_ARGS__)
diff --git a/src/dht/gnunet-dht-hello.c b/src/dht/gnunet-dht-hello.c
index d3832d0dc..369ed5643 100644
--- a/src/dht/gnunet-dht-hello.c
+++ b/src/dht/gnunet-dht-hello.c
@@ -23,7 +23,6 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_dht_service.h"
 
 #define LOG(kind, ...) GNUNET_log_from (kind, "dht-clients", __VA_ARGS__)
diff --git a/src/dht/gnunet-dht-monitor.c b/src/dht/gnunet-dht-monitor.c
index 08ec017d1..93ea1284a 100644
--- a/src/dht/gnunet-dht-monitor.c
+++ b/src/dht/gnunet-dht-monitor.c
@@ -24,7 +24,6 @@
  * @author Bartlomiej Polot
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_dht_service.h"
 
 /**
diff --git a/src/dht/gnunet-dht-put.c b/src/dht/gnunet-dht-put.c
index ce9bda089..531107ef2 100644
--- a/src/dht/gnunet-dht-put.c
+++ b/src/dht/gnunet-dht-put.c
@@ -24,7 +24,6 @@
  * @author Nathan Evans
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_dht_service.h"
 
 /**
diff --git a/src/dht/gnunet-service-dht.c b/src/dht/gnunet-service-dht.c
index 08c31acf3..39433791d 100644
--- a/src/dht/gnunet-service-dht.c
+++ b/src/dht/gnunet-service-dht.c
@@ -25,7 +25,6 @@
  * @author Nathan Evans
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_block_lib.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_hello_lib.h"
diff --git a/src/dht/gnunet-service-dht_clients.c b/src/dht/gnunet-service-dht_clients.c
index 95a2aa1b3..90bb4d1f7 100644
--- a/src/dht/gnunet-service-dht_clients.c
+++ b/src/dht/gnunet-service-dht_clients.c
@@ -25,7 +25,6 @@
  * @author Nathan Evans
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_constants.h"
 #include "gnunet_protocols.h"
 #include "gnunet_statistics_service.h"
diff --git a/src/dht/gnunet-service-dht_datacache.c b/src/dht/gnunet-service-dht_datacache.c
index ebae7429e..dcb6308a9 100644
--- a/src/dht/gnunet-service-dht_datacache.c
+++ b/src/dht/gnunet-service-dht_datacache.c
@@ -24,7 +24,6 @@
  * @author Nathan Evans
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_datacache_lib.h"
 #include "gnunet-service-dht_datacache.h"
 #include "gnunet-service-dht_neighbours.h"
diff --git a/src/dht/gnunet-service-dht_neighbours.c b/src/dht/gnunet-service-dht_neighbours.c
index d4bc957ec..25d69ac65 100644
--- a/src/dht/gnunet-service-dht_neighbours.c
+++ b/src/dht/gnunet-service-dht_neighbours.c
@@ -25,7 +25,6 @@
  * @author Nathan Evans
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_constants.h"
 #include "gnunet_protocols.h"
 #include "gnunet_signatures.h"
diff --git a/src/dht/gnunet-service-dht_routing.c b/src/dht/gnunet-service-dht_routing.c
index 104b41246..d81a2b2e1 100644
--- a/src/dht/gnunet-service-dht_routing.c
+++ b/src/dht/gnunet-service-dht_routing.c
@@ -24,7 +24,6 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet-service-dht_neighbours.h"
 #include "gnunet-service-dht_routing.h"
 #include "gnunet-service-dht.h"
diff --git a/src/dht/gnunet_dht_profiler.c b/src/dht/gnunet_dht_profiler.c
index 62ffe2cc0..55a34bdf0 100644
--- a/src/dht/gnunet_dht_profiler.c
+++ b/src/dht/gnunet_dht_profiler.c
@@ -25,7 +25,6 @@
  */
 
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_testbed_service.h"
 #include "gnunet_dht_service.h"
diff --git a/src/dht/plugin_block_dht.c b/src/dht/plugin_block_dht.c
index 20bde1de3..bee16736c 100644
--- a/src/dht/plugin_block_dht.c
+++ b/src/dht/plugin_block_dht.c
@@ -26,7 +26,6 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_constants.h"
 #include "gnunet_hello_lib.h"
 #include "gnunet_hello_uri_lib.h"
diff --git a/src/dht/test_dht_api.c b/src/dht/test_dht_api.c
index 0d9bf5b2a..044983b7e 100644
--- a/src/dht/test_dht_api.c
+++ b/src/dht/test_dht_api.c
@@ -25,7 +25,6 @@
  * This test case tests DHT api to DUMMY DHT service communication.
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_hello_lib.h"
 #include "gnunet_testing_lib.h"
diff --git a/src/dht/test_dht_monitor.c b/src/dht/test_dht_monitor.c
index 8b208cae5..3960a2235 100644
--- a/src/dht/test_dht_monitor.c
+++ b/src/dht/test_dht_monitor.c
@@ -23,7 +23,6 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_testbed_service.h"
 #include "gnunet_dht_service.h"
 #include "dht_test_lib.h"
diff --git a/src/dht/test_dht_topo.c b/src/dht/test_dht_topo.c
index fc98c7734..a8294c65d 100644
--- a/src/dht/test_dht_topo.c
+++ b/src/dht/test_dht_topo.c
@@ -25,7 +25,6 @@
  * value from each other peer.
  */
 #include "platform.h"
-#include "platform.h"
 #include "gnunet_util_lib.h"
 #include "gnunet_dht_service.h"
 #include "dht_test_lib.h"