python: remove unused but imported symbol
authorJustus Winter <4winter@informatik.uni-hamburg.de>
Sat, 18 Feb 2012 00:01:33 +0000 (01:01 +0100)
committerJustus Winter <4winter@informatik.uni-hamburg.de>
Sat, 18 Feb 2012 00:01:33 +0000 (01:01 +0100)
Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>

No differences found