Merge branch 'master' of /home/mdw/public-git/mdwtools
authorMark Wooding <mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:12:17 +0000 (15:12 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:12:17 +0000 (15:12 +0000)
commitc8ea265ae80303acb1d20a8473294fc96c28e1ff
treec1fea3e54c9e6c5472f81047e8c3b2090e721adb
parentbe0a3c9bf9525b89df756340dec4aa96e285dc1e
parentbaa9f3563a25ec9040d59b44a86d62f4d9786258
Merge branch 'master' of /home/mdw/public-git/mdwtools

* 'master' of /home/mdw/public-git/mdwtools:
  infra: Expunge revision history clutter.
crypto.dtx