chiark / gitweb /
Merge pull request #46 from jschueller/travis
authorSteven G. Johnson <stevenj@mit.edu>
Fri, 4 Sep 2015 02:45:22 +0000 (22:45 -0400)
committerSteven G. Johnson <stevenj@mit.edu>
Fri, 4 Sep 2015 02:45:22 +0000 (22:45 -0400)
commitc2529d2641aaf62f47cb3396063479eec2c98226
treebca06bac803c26c24eef71e1898a9e59052f157b
parent37ea645feb198f0aa55e1a760f94d35312fb6d12
parent3b6dcc34bb07ec6149e27bee9bab8621d8fd577f
Merge pull request #46 from jschueller/travis

Add Travis script