chiark / gitweb /
~ianmdlvl / reprap-play.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e35c35d) | patch
poster-tube-lid: change top_minthick_* to top_thick_* which is what they are now
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 9 Oct 2017 01:41:02 +0000 (02:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 9 Oct 2017 01:41:02 +0000 (02:41 +0100)
commitf4156124eea05d436981bbf44fb90445195c89b3
tree8d67ed9df5ef944b43d2eb48ee47ad9f4a5bee60tree | snapshot
parente35c35d79348f9195b2b52042800bf90329e3d05commit | diff
poster-tube-lid: change top_minthick_* to top_thick_* which is what they are now
poster-tube-lid.scad diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.