Wed, 09 Jan 2019 08:49:26 -0800 | jjg | 8215308: pandoc-html-manpage-filter.js does not work for [un]pack200 | file | diff | annotate |
Tue, 11 Dec 2018 15:18:57 +0100 | ihse | 8214720: Add pandoc filter to improve html man page output | file | diff | annotate |