2008-02-27 Marcus Brinkmann <marcus@g10code.de>
authorMarcus Brinkmann <mb@g10code.com>
Wed, 27 Feb 2008 17:31:47 +0000 (17:31 +0000)
committerMarcus Brinkmann <mb@g10code.com>
Wed, 27 Feb 2008 17:31:47 +0000 (17:31 +0000)
commit66307b34bb9f7b4f51ca4145e7a71b8fc8578029
tree9d56cca6c8aea76289de5c0cad41b6939aec1954
parentf5f14d6556d2541ae32812e9f15263abb9a769f3
2008-02-27  Marcus Brinkmann  <marcus@g10code.de>

* tools.texi (Listing options): Document new types.
doc/ChangeLog
doc/tools.texi