chiark / gitweb /
commitid.scad.pl: Track what we have included and whether it is truncated, and sort...