diff options
| author | Maxime Dénès | 2017-06-08 14:16:10 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-17 15:14:57 +0200 |
| commit | fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd (patch) | |
| tree | b4d94372e02db15d07d02bf6ec7920086bf3974f /plugins | |
| 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 'plugins')
0 files changed, 0 insertions, 0 deletions