infra: Expunge revision history clutter.
[strayman] / strayman.dtx
2006-04-06 Mark Woodinginfra: Expunge revision history clutter.
2003-11-07 mdwNumbering-within macros added.
2003-09-06 mdwVarious tweaks. 1.1.2
2002-02-24 mdwFix banners.
2002-02-19 mdwInitial revision. 1.1.0