chiark / gitweb /
drop TODO file which is about other things
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 10:29:32 +0000 (10:29 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 10:29:32 +0000 (10:29 +0000)
commit6e76d9b734db7027230553db5209ce3422efc91a
treee8f909ce72bbad18bafc7841d602a7b470cb3b13
parent706b74f984f46b54ac05ad38d566db94d8182032
drop TODO file which is about other things
TODO [deleted file]