chiark / gitweb /
toolbox-inserts: add a comment about something obsolete
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 22 Apr 2025 18:27:12 +0000 (19:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 22 Apr 2025 18:27:12 +0000 (19:27 +0100)
commitf8a3b3aff827671b1db950f9a8491dbf429f1a93
treedc0ea7c95047f19b525659b3037074095bd86613
parent9454840d8bb9959d60de2c18377f37306be2c13a
toolbox-inserts: add a comment about something obsolete

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