2019-05-21 | Thomas Hochstein | Fix header indentation, update version/copyright. | commit | commitdiff | tree | snapshot |
2015-05-01 | Thomas Hochstein | Fix copyright notice for mmm.pl | commit | commitdiff | tree | snapshot |
2015-05-01 | Thomas Hochstein | Add mmm.pl | commit | commitdiff | tree | snapshot |
2015-05-01 | Thomas Hochstein | Add usage hint for footnotes to README. | commit | commitdiff | tree | snapshot |
2014-09-28 | Thomas Hochstein | Add footnotes.pl to repo. | commit | commitdiff | tree | snapshot |
2014-09-28 | Thomas Hochstein | Add README. | commit | commitdiff | tree | snapshot |
2014-09-28 | Thomas Hochstein | Add .git* files | commit | commitdiff | tree | snapshot |
2014-09-28 | Thomas Hochstein | Initial commit | commit | commitdiff | tree | snapshot |