2009-05-16 Moritz <moritz@gnu.org>
authorMoritz Schulte <mo@g10code.com>
Sat, 16 May 2009 19:44:14 +0000 (19:44 +0000)
committerMoritz Schulte <mo@g10code.com>
Sat, 16 May 2009 19:44:14 +0000 (19:44 +0000)
commita50be47c83d2ee80de9d3cf7997668b545db4948
tree43375dc15e31d4f8ae0fd71781577cb740170e4f
parentec6df7e227fd4d7d8e033d66b21dced923ab452b
2009-05-16  Moritz  <moritz@gnu.org>

* poldi.texi (Configuration): Documented "quiet"-option and
"modify-environment"-option.
doc/ChangeLog
doc/poldi.texi