Merge branch 'master' of /home/mdw/public-git/strayman
authorMark Wooding <mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:11:27 +0000 (15:11 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 1 Nov 2006 15:11:27 +0000 (15:11 +0000)
* 'master' of /home/mdw/public-git/strayman:
  infra: Expunge revision history clutter.
  Ignore boring files.
  Build the package before the documentation.
  infra: Clean up project setup

1  2 
strayman.dtx

diff --cc strayman.dtx
Simple merge