chiark / gitweb /
fix later options
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Aug 2013 18:42:26 +0000 (19:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Aug 2013 18:42:26 +0000 (19:42 +0100)
commit09174e8172ee86effe190827c24045fd8096d26f
treee72ac3d7dd9c5cd7596b1dcceab5a0a4e4ee7314
parent7474327d959d0478a501d9a222876d00384bd7d2
fix later options
dgit