chiark / gitweb /
Filter out another troublemaking feature introduced by recent platform tools
authorCiaran Gultnieks <ciaran@ciarang.com>
Tue, 1 Nov 2011 21:24:02 +0000 (21:24 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Tue, 1 Nov 2011 21:24:02 +0000 (21:24 +0000)
commit3f5a0dd64b1cc80479044da02adfb89710873114
tree53dc79fc9830335b09c3ebc66cf412589e419c07
parent3ee3266551a434d338efcfe31712d2474dab8815
Filter out another troublemaking feature introduced by recent platform tools
update.py