John MacFarlane e798db14e8 Add tools/parseTimings.pl. ...

A script to help pin down which modules take the most time
and memory to compile.

2021-02-26 23:52:28 -08:00

..

changelog-helper.sh

Fix changelog-helper.sh

2021-02-21 19:02:28 -08:00

changes_template.html

make changes_github: use details tag to make changelog collapsible.

2020-03-15 11:23:55 -07:00

diff-zip.sh

…

extract-changes.hs

…

github-upload.sh

…

pandoc-template-mode.el

…

parseTimings.pl

Add tools/parseTimings.pl.

2021-02-26 23:52:28 -08:00

update-readme.lua

Fix README.md so that relative links from manual become absolute.

2019-12-10 14:46:33 -08:00