chiark / gitweb /
CVS to git conversion cvs-to-git-conversion
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:07:54 +0000 (17:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:07:54 +0000 (17:07 +0100)
Record the scripts etc. we used (and their history) for posterity,
by binding them into the history.


Trivial merge