Wed, 17 Oct 2018 08:09:46 -0700 | erikj | Merge from default | changeset | files |
Wed, 17 Oct 2018 11:41:33 +0200 | ihse | Add a pandoc filter for man pages written in javascript, to transform man pages. | changeset | files |
Tue, 16 Oct 2018 09:54:06 -0700 | erikj | Closing ihse-runtestprebuilt-branch | changeset | files |
Tue, 16 Oct 2018 15:45:19 +0200 | redestad | Remove custom security.policy, use JMH-provided alternative | changeset | files |
Tue, 16 Oct 2018 12:02:45 +0200 | ihse | Add needed man-page preprocessing. | changeset | files |
Tue, 16 Oct 2018 11:53:36 +0200 | ihse | Add support for pre-processing to markdown. | changeset | files |