chiark / gitweb /
electron-token: delete channels; add to Makefile
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 18 Jun 2017 20:42:23 +0000 (21:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 18 Jun 2017 20:42:23 +0000 (21:42 +0100)
commit0436387a2064b2c152f3786285d10198c1f9e0ab
treea6814071f9751db7ef28c9dc9f78262b42e5be92
parent4f66d0f9315a053ba0a36b21c1e9f04a9f0c4e7a
electron-token: delete channels; add to Makefile
Makefile
electron-token.scad.pl