summaryrefslogtreecommitdiff
path: root/.bintray.json
diff options
context:
space:
mode:
Diffstat (limited to '.bintray.json')
-rw-r--r--.bintray.json20
1 files changed, 0 insertions, 20 deletions
diff --git a/.bintray.json b/.bintray.json
deleted file mode 100644
index 34a501e8..00000000
--- a/.bintray.json
+++ /dev/null
@@ -1,20 +0,0 @@
-{
- "package": {
- "name": "coq",
- "repo": "coq",
- "subject": "coq"
- },
-
- "version": {
- "name": "8.8.2"
- },
-
- "files":
- [
- {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1",
- "matrixParams": {
- "override": 1 }
- }
- ],
- "publish": true
-}