Wed, 17 May 2017 12:42:58 +0200 | ihse | 8180472: Pandoc should generate html5 from markdown | file | diff | annotate |
Fri, 12 May 2017 19:09:50 +0200 | ihse | 8175825: Stop including pubs repo | file | diff | annotate |
Mon, 13 Mar 2017 14:01:24 +0100 | ihse | 8176509: Use pandoc for converting build readme to html | file | diff | annotate | base |