chiark / gitweb /
strategy: remove old stuff
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 19:06:30 +0000 (20:06 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 19:06:38 +0000 (20:06 +0100)
commitfdd5c703b15790389545f3b12264dbe24db5033e
treed5420911b8afd42d750e66bd0372f9c39c884835
parent63cc1534200cc7fcafa007f8c6704fc8ac9c9fec
strategy: remove old stuff
old-strategy.tex [new file with mode: 0644]
strategy.tex