chiark / gitweb /
minor change
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Jul 2018 13:50:49 +0000 (14:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Jul 2018 13:50:49 +0000 (14:50 +0100)
commitb70e3bf9fc72c71aea2b43f392b4977c6dcdd79c
tree39a3368f954171ddd32a91211a18cf736cbd874d
parenteecabc03d10811afb748a2094a8876399cdccf61
minor change
dm.fig