log

age author description
Fri, 03 May 2019 15:37:08 +0200 Sietse Brouwer gendoc: guarantee that all commands were processed
Fri, 26 Apr 2019 17:53:01 +0200 Sietse Brouwer gendoc: group commands by category in man page and HTML help
Thu, 25 Apr 2019 19:15:17 +0200 Sietse Brouwer gendoc: indent loop to make next patch more legible