diff options
| author | Christian Grothoff <christian@grothoff.org> | 2012-10-09 18:43:01 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2012-10-09 18:43:01 +0000 |
| commit | 941fbd9ba332507b70deadf66dbbe7c5e4fb2d5d (patch) | |
| tree | 784f8b9bf42eba69d2a967f27a8e673fe75c20dc /src/util/util.conf | |
| parent | b581097addc91044432dcb54ce7cff26b9e12de1 (diff) | |
| download | gnunet-941fbd9ba332507b70deadf66dbbe7c5e4fb2d5d.tar.gz gnunet-941fbd9ba332507b70deadf66dbbe7c5e4fb2d5d.zip | |
-putting comment back
Diffstat (limited to 'src/util/util.conf')
| -rw-r--r-- | src/util/util.conf | 2 |
1 files changed, 2 insertions, 0 deletions
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 @@ | |||
| 1 | [PATHS] | 1 | [PATHS] |
| 2 | SERVICEHOME = ~/.gnunet/ | 2 | SERVICEHOME = ~/.gnunet/ |
| 3 | # SERVICEHOME = /var/lib/gnunet/ | 3 | # SERVICEHOME = /var/lib/gnunet/ |
| 4 | # DEFAULTCONFIG = /etc/gnunet.conf | ||
| 5 | # If 'DEFAULTCONFIG' is not defined, the current | ||
| 4 | # configuration file is assumed to be the default, | 6 | # configuration file is assumed to be the default, |
| 5 | # which is what we want by default... | 7 | # which is what we want by default... |
| 6 | 8 | ||