Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/mdwtools
[mdwtools] / sverb.dtx
2013-06-30 Mark WoodingWhitespace cleanup.
2007-10-26 Mark Woodingsverb: Don't leak lccode changes.
2006-11-01 Mark WoodingMerge branch 'master' of /home/mdw/public-git/mdwtools
2006-04-06 Mark Woodinginfra: Expunge revision history clutter.
2003-09-05 mdwMake listing formatting more hookable. Add colour...
2002-02-03 mdwCheckin for new build system.