chiark / gitweb /
merge the script's history into the generated history
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:02:07 +0000 (17:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 May 2014 16:02:07 +0000 (17:02 +0100)
commit4631609f16aa83929a17af7937c17f62eb8a1157
treea4a76186b608612e06585d07765c79a016d4c5bc
parent194b32e42f9d2a9555b920defef6fffae792e008
merge the script's history into the generated history
convert