tree 8d85156d3a29fbee2ebef42848985fffd9107233
parent 7dad083aaaa84f4087915494dd636d746920865d
author Julian Hyde <julianhyde@gmail.com> 1374531485 -0700
committer Julian Hyde <julianhyde@gmail.com> 1374531485 -0700

Add config file for travis-ci.