Change on diff options so it works on the new dev (maybe this is due to the migration...
authorJoão Pedro Athayde Marcondes de André <jp_git@polytechnique.org>
Wed, 10 Feb 2010 23:00:11 +0000 (00:00 +0100)
committerJoão Pedro Athayde Marcondes de André <jp_git@polytechnique.org>
Wed, 10 Feb 2010 23:00:11 +0000 (00:00 +0100)
commita959b199b8f4790bf311c4e9c4b96b4ffb494eeb
treef3e60643f44ddab81d1a849da255044e0a443d37
parent9f5bd98e936d8cef7ca9f774eeef64dbb8a1b079
Change on diff options so it works on the new dev (maybe this is due to the migration to lenny at the same time...)
bin/check_security_fixes.py