diff options
| author | Maxime Dénès | 2017-08-29 11:27:32 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-29 11:27:32 +0200 |
| commit | ef0450ded84d0fc27b5051baf94acfb6e541a7bf (patch) | |
| tree | a4c5f350edfdab6e8bb078090b7f6e1b28e1903d /API | |
| parent | 244f32e5abf7e5a7a6767164938f62ed6f96e8b9 (diff) | |
Trying to fix deployment of master on bintray, and deploy tags to github.
Deployment doesn't work on PRs, so I have to push it directly, sorry for
the noise.
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions