chiark / gitweb /
Makefile: do not needlessly update commitid.scad