diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-08 14:16:10 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-17 15:14:57 +0200 |
commit | fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd (patch) | |
tree | b4d94372e02db15d07d02bf6ec7920086bf3974f /ide/MacOS | |
parent | 16b0b833a3cee070a207e2039bde0ae77b8774d4 (diff) |
Make Travis generate OSX packages.
The packages will be built only for main branches (not pull requests),
and are accessible via bintray: https://bintray.com/coq/coq
Diffstat (limited to 'ide/MacOS')
0 files changed, 0 insertions, 0 deletions