chiark / gitweb /
doveclippin height configurable
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Sep 2012 18:13:27 +0000 (19:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Sep 2012 18:13:27 +0000 (19:13 +0100)
commitf4da293370dbcc2b18419ab6895b4d8bdc4d03f0
tree2ecb2670b2e5d900d8583a64e860af6228b90026
parentd55c83649d0bd6ca0b2ed42fa7a5e66d139ba1db
doveclippin height configurable
doveclip.scad