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)
commitd57afb4fe7aebac9a22cfc138f304cf8cdb9da30
treeaabf1a6b5a2d2cd3b28ad16ef226819bd0adaffe
parent63826fbb0d59f8e6902b6d8f4c5e4e921636160a
NOTES: Remove obsolete file

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
NOTES [deleted file]