chiark / gitweb /
Merge commit '875be22af707972efae3359b08ec78a328c91f59'
[reprap-play.git] / Huxley-INSTRUCTIONS
1 Go back to revision e1cdc45 aka "last-with-huxley".
2
3 The files for our old Huxley have been removed from this tree since then.