chiark / gitweb /
~ianmdlvl / reprap-play.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4884914) | patch
fairphone-case: tolerate fingerpushhole_dias being [] to mean "none"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 24 Jan 2018 22:59:57 +0000 (22:59 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 24 Jan 2018 22:59:57 +0000 (22:59 +0000)
commitff381b9415d047df2f0a0942659eaea2b5c653d4
treed96d418ad42cad5d016b9082778bd7617a3525adtree | snapshot
parent48849145277e9c642c4db404e078651bfd4c9095commit | diff
fairphone-case: tolerate fingerpushhole_dias being [] to mean "none"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
fairphone-case.scad diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.