chiark / gitweb /
strayman.dtx: Whitespace fixes.
[strayman] / strayman.ins
2006-11-01 Mark WoodingMerge branch 'master' of /home/mdw/public-git/strayman
2006-04-06 Mark Woodinginfra: Expunge revision history clutter.
2002-02-24 mdwReplace with the good installer from mdwtools.
2002-02-19 mdwInitial revision. 1.1.0