remove unused Extension in setup
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 15 May 2014 15:15:52 +0000 (17:15 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 15 May 2014 15:15:52 +0000 (17:15 +0200)
commit0a82e5d999260aaf0acbfc2864ccf098cccbfe96
tree1cfa18dc913150acbb1b3da328fbb64536f28274
parent63546278c1e00ac6d1910d4d552a933bd170ed28
remove unused Extension in setup
setup.py