Sebastian Spaeth 5c598d7e74 dict.has_key(a) --> a in dict
has_key() is gone in python3, so use a more modern syntax here.

Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de>
2012-02-06 17:41:43 +01:00
..
2012-02-06 17:41:43 +01:00
2012-02-06 17:41:43 +01:00
2012-02-06 17:41:43 +01:00