chiark / gitweb /
comment out things that are default values in examples/config.py
authorHans-Christoph Steiner <hans@eds.org>
Thu, 27 Aug 2015 17:34:37 +0000 (19:34 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 10 Sep 2015 09:08:40 +0000 (11:08 +0200)
commit491d2d75a280b2e5b6b9d9f5be40326a937458ce
treeb83b725a84db372b808f4854bdc906f2b54f007d
parent707930ce0a708ab495f865ff8904b3ba2f1b8cb5
comment out things that are default values in examples/config.py

Since these are already defaults, there is no need to set them as defaults
in the default config.
examples/config.py