chiark / gitweb /
fairphone-case: rework hingescrew parameters: rename hingescrew_nut_thick_real to...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 30 Jan 2018 13:26:14 +0000 (13:26 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 30 Jan 2018 13:26:15 +0000 (13:26 +0000)
commitfeb9921adf309029631d4245eec7f5103971ee91
treed3b169a1c8523405b646ebda7a2aad1cada67db7
parentb1d35c037b9fa02aa51c9a5987f91a9ee43369d7
fairphone-case: rework hingescrew parameters: rename hingescrew_nut_thick_real to hingescrew_nut_thick (nfc)

The previous hingescrew_nut_thick, which included some of what is now
in hingescrew_fasteners_extra_thick, has been abolished so we can get
rid of the _real suffix.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
fairphone-case.scad