Further improvements to checker.
authorJosé Fonseca <jose.r.fonseca@gmail.com>
Thu, 22 Nov 2012 22:03:17 +0000 (22:03 +0000)
committerJosé Fonseca <jose.r.fonseca@gmail.com>
Thu, 22 Nov 2012 22:03:17 +0000 (22:03 +0000)
commit09690a098cc072323bc1364119be0b9e1ce60d11
tree6aad8ea1f46efbea842a0c275f4adf871e5f3393
parent4918b9940bfff2cd37b9ff3aadd1e066fdb405bc
Further improvements to checker.
checker.py