remove warning about unknown Extension option
authorStefan Behnel <scoder@users.berlios.de>
Wed, 9 Apr 2008 15:48:46 +0000 (17:48 +0200)
committerStefan Behnel <scoder@users.berlios.de>
Wed, 9 Apr 2008 15:48:46 +0000 (17:48 +0200)
commit0afe6e153128c8b9b69ed1b051dc3e424e5ed740
tree5f536d3e183b096f1f5f69dc2e3ec54d528d6baf
parentccaa5ea34e48315d4d5147ee870091b5ff7c2b1d
remove warning about unknown Extension option
runtests.py