chiark / gitweb /
filamentspool: FilamentGuideArm: rename FilamentGuideArmShaftPositive from ...Tip...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Jan 2016 15:31:29 +0000 (15:31 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Jan 2016 15:31:29 +0000 (15:31 +0000)
commit8a589b3697c7ee86ccc94b2d7753919dea31b427
tree1af2779d1745d3920758af3d9bd37306f3b8c734
parent6422743ddc08cb3e04eb78ea2b1bd54f9d117ed7
filamentspool: FilamentGuideArm: rename FilamentGuideArmShaftPositive from ...Tip... (nfc)
filamentspool.scad