search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Remove the old version of waf in libs #41

Closed cpkleynhans closed 11 years ago

cpkleynhans commented 11 years ago

We don't use this.