https://github.com/probmods/webppl
Tip revision: d5c29b8bc03b7afecd1d977b8a0c0b47cffd61ea authored by Andreas Stuhlmüller on 12 May 2015, 22:53:44 UTC
Merge branch 'dev'
Merge branch 'dev'
Tip revision: d5c29b8
.travis.yml
language: node_js
node_js:
- "0.12"
- "0.11"
- "0.10"
install:
- npm install
- npm install -g nodeunit grunt-cli
script:
- grunt