chiark / gitweb /
NOTES: Remove obsolete file
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Oct 2016 22:02:05 +0000 (23:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 10 Oct 2016 00:01:10 +0000 (01:01 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found