Added by Kostas Papadimitriou over 12 years ago
No need for make.sh, build takes place in setup.py
View differences