descriptionMiscellaneous small scripts
ownerThomas Hochstein
last changeSun, 23 Aug 2020 20:43:38 +0000 (22:43 +0200)
shortlog
2020-08-23  Thomas HochsteinChange mail address. master
2019-05-21  Thomas HochsteinChange boundary generation in mmm.
2019-05-21  Thomas HochsteinFix typo in README.
2019-05-21  Thomas HochsteinFix header indentation, update version/copyright.
2015-05-01  Thomas HochsteinFix copyright notice for mmm.pl
2015-05-01  Thomas HochsteinAdd mmm.pl
2015-05-01  Thomas HochsteinAdd usage hint for footnotes to README.
2014-09-28  Thomas HochsteinAdd footnotes.pl to repo.
2014-09-28  Thomas HochsteinAdd README.
2014-09-28  Thomas HochsteinAdd .git* files
2014-09-28  Thomas HochsteinInitial commit
heads
3 years ago master
This page took 0.015131 seconds and 7 git commands to generate.