projects / scripts.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix header indentation, update version/copyright.
2019-05-21  Thomas HochsteinFix header indentation, update version/copyright.
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2015-05-01  Thomas HochsteinFix copyright notice for mmm.pl
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2015-05-01  Thomas HochsteinAdd mmm.pl
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2015-05-01  Thomas HochsteinAdd usage hint for footnotes to README.
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2014-09-28  Thomas HochsteinAdd footnotes.pl to repo.
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2014-09-28  Thomas HochsteinAdd README.
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2014-09-28  Thomas HochsteinAdd .git* files
Signed-off-by: Thomas Hochstein <thh@inter.net>
 commit | commitdiff | tree
2014-09-28  Thomas HochsteinInitial commit
 commit | commitdiff | tree
Miscellaneous small scripts
This page took 0.0101 seconds and 3 git commands to generate.