../ build-arm.shbuild-arm.sh : remove strict checking on first ssh access6 years ago changelog-helper.shFix changelog-helper.sh6 years ago changes_template.htmlmake changes_github: use details tag to make changelog collapsible.7 years ago diff-zip.shFix diff-zip.sh so it works on Darwin.7 years ago extract-changes.hsFix extract-changes.hs to use new changelog.md format.7 years ago github-upload.shMoved extract-changes.hs and github-upload.sh to tools/.10 years ago pandoc-template-mode.elpandoc-template-mode.el: Improve.9 years ago parseTimings.plAdd tools/parseTimings.pl.6 years ago update-readme.luaFix README.md so that relative links from manual become absolute.7 years ago