Sun, 03 Apr 2016 23:01:39 +0200 | wenzelm | prefer internal tool; | file | diff | annotate |
Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 28 Feb 2016 15:12:24 +0100 | wenzelm | moved getopts to Scala; | file | diff | annotate |
Sat, 17 Oct 2015 21:15:10 +0200 | wenzelm | added 'paragraph', 'subparagraph'; | file | diff | annotate |
Wed, 03 Dec 2014 14:04:38 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 02 Nov 2014 16:47:45 +0100 | wenzelm | added update_header tool; | file | diff | annotate |