Imported Upstream version 8.9.0upstream/8.9.0upstream

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
-}