chiark / gitweb /
wip changes for remote push - remove notes for done stuff from TODO
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 9 Oct 2013 06:51:46 +0000 (07:51 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 9 Oct 2013 06:51:46 +0000 (07:51 +0100)
commit78da6ef66fe3fe946de3ee06d398188cb736322a
treec18ed0098b227dda0127c49ab450f3cbea59126c
parentfb64dcd0b68b73fa8f59edac53855dd303a7562f
wip changes for remote push - remove notes for done stuff from TODO
TODO