chiark / gitweb /
A few minor scanner improvements
authorCiaran Gultnieks <ciaran@ciarang.com>
Wed, 1 Feb 2012 17:36:43 +0000 (17:36 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Wed, 1 Feb 2012 17:36:43 +0000 (17:36 +0000)
commite15baaffcb03fc7e8ba4cfe6fcbe85ba34d2d19b
treee3c1bd67cfaa57c128f5eedb8628c69f024d590c
parente906cf2c64575d2d141299390285bee26ef267b0
A few minor scanner improvements
scanner.py