From 941fbd9ba332507b70deadf66dbbe7c5e4fb2d5d Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 9 Oct 2012 18:43:01 +0000
Subject: -putting comment back

---
 src/util/util.conf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/util/util.conf')

diff --git a/src/util/util.conf b/src/util/util.conf
index 1390a866a..f3d301e48 100644
--- a/src/util/util.conf
+++ b/src/util/util.conf
@@ -1,6 +1,8 @@
 [PATHS]
 SERVICEHOME = ~/.gnunet/
 # SERVICEHOME = /var/lib/gnunet/
+# DEFAULTCONFIG = /etc/gnunet.conf
+# If 'DEFAULTCONFIG' is not defined, the current
 # configuration file is assumed to be the default,
 # which is what we want by default...
 
-- 
cgit v1.2.3