Select Git revision
.travis.yml
-
Jens Bendisposto authored
* 'master' of github.com:hhu-stups/tla2bAST: Update .travis.yml Conflicts: .travis.yml
Jens Bendisposto authored* 'master' of github.com:hhu-stups/tla2bAST: Update .travis.yml Conflicts: .travis.yml
Code owners