From 9ecc5b9b9d02f757386dddb4909e264c5a6226a5 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 18 Apr 2013 13:33:44 +0000
Subject: -dead option elimination

---
 src/util/util.conf | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/util/util.conf b/src/util/util.conf
index ea8ddc071..d97bc17cd 100644
--- a/src/util/util.conf
+++ b/src/util/util.conf
@@ -6,9 +6,6 @@ SERVICEHOME = ~/.gnunet/
 # configuration file is assumed to be the default,
 # which is what we want by default...
 
-[gnunetd]
-HOSTKEY = $SERVICEHOME/.hostkey
-
 [PEER]
 PRIVATE_KEY = $SERVICEHOME/private.ecc
 
@@ -16,6 +13,5 @@ PRIVATE_KEY = $SERVICEHOME/private.ecc
 HOME = $SERVICEHOME
 
 [TESTING]
-WEAKRANDOM = NO
 SPEEDUP_INTERVAL = 0 ms
 SPEEDUP_DELTA = 0 ms
-- 
cgit v1.2.3