TeamAmalgam/kodkod — pull request #1 by cpkleynhans (2013-05-21 19:38:39+00:00)
Title: Adding Travis CI support.

- Add .travis.yml configuration file
- Include waf script in the repo