diff options
author | 2018-02-24 10:17:35 -0500 | |
---|---|---|
committer | 2018-02-24 15:37:16 -0500 | |
commit | ef92beece3147f8af0764521e22cb7fc9a3f32a3 (patch) | |
tree | 2fe62379710ce2346ec5da62ad9203e730c55c36 /.travis.yml | |
parent | 238791d4dfa95b9810600643ee2ae542b41bd203 (diff) |
coqprime in COQPATH (closes #269)
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions