TeamAmalgam/kodkod — pull request #41 by cpkleynhans (2013-07-23 23:02:50+00:00)
Title: Remove the old version of waf in libs

We don't use this.