chiark / gitweb /
Huxley-INSTRUCTIONS: Rename out of the way
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Jan 2016 23:06:11 +0000 (23:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Jan 2016 23:06:11 +0000 (23:06 +0000)
commitc4ecab94bbc68f19d7e3d9444bbc36486001b49d
treee6e7bb0b388c169843d7e30c9e09a00fff212f91
parent48c07842b36e40408e661792c77ce63ae92a9ffd
Huxley-INSTRUCTIONS: Rename out of the way
Huxley-INSTRUCTIONS [moved from INSTRUCTIONS with 100% similarity]