chiark / gitweb /
greyout is good
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Jul 2018 06:29:45 +0000 (07:29 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Jul 2018 06:29:45 +0000 (07:29 +0100)
commit98eae52190e43ea1e96463d59d18928ad10379b1
tree9343dda20358d3d82c6dd9e9c65208474b3f024c
parentbc168b8ea6a5b8001429f26ec3951dac24bf8883
greyout is good
dm.fig
greyout