Simon Michael 3762ae8f70 tools: pandoc filters used when making man pages		2015-10-26 06:56:33 -07:00
..
criterionbench.hs
dayssincetag.hs	tools: make tools/* executable	2014-05-01 08:14:04 -07:00
doctest.hs
generatejournal.hs	tools: add sample journals with wide characters	2015-10-10 11:51:07 -07:00
generatetimelog.hs	tools: generatetimelog	2015-07-12 12:32:53 -07:00
listbydeps.hs
pandocCapitalizeHeaders.hs	tools: pandoc filters used when making man pages	2015-10-26 06:56:33 -07:00
pandocRemoveLinks.hs	tools: pandoc filters used when making man pages	2015-10-26 06:56:33 -07:00
pandocRemoveNotes.hs	tools: pandoc filters used when making man pages	2015-10-26 06:56:33 -07:00
progressionbench.hs
regressiontest.py
runhledgercov	tools: update profiling rules	2015-07-22 08:52:30 -07:00
simplebench.hs
simplifyprof.hs
trhsx
unittest.hs