chiark / gitweb /
Improved interactive mode in update script
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 27 Jun 2011 21:47:56 +0000 (22:47 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 27 Jun 2011 21:47:56 +0000 (22:47 +0100)
commit4f417b7403d584fe906f73199076ea2d74d286cf
tree3fdd5274aa8bb6df5a7f1f087007c982d8bfc982
parentd4caab9ea07a97bd93d9375fbb0e1c3a97471daf
Improved interactive mode in update script
update.py