« Previous | Next » 

Revision 2c313efa

ID2c313efae5573484e0111e8393d098bb99ee5488

Added by Kostas Papadimitriou about 10 years ago

No need for make.sh, build takes place in setup.py

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

  • make.sh