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