chiark / gitweb /
Update Huxley-INSTRUCTIONS to point to old commit.