From ecd0006301b893b3acc44e25e5648c2abf9f8945 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 9 Feb 2019 18:04:10 +0100
Subject: [ci] Remove unused bintray file.

Not needed anymore after Travis was removed.
---
 .bintray.json | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 .bintray.json

diff --git a/.bintray.json b/.bintray.json
deleted file mode 100644
index 1b32a144c8..0000000000
--- a/.bintray.json
+++ /dev/null
@@ -1,20 +0,0 @@
-{
-    "package": {
-        "name": "coq",
-        "repo": "coq",
-        "subject": "coq"
-    },
-
-    "version": {
-        "name": "8.10+alpha"
-    },
-
-    "files":
-        [
-        {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1",
-         "matrixParams": {
-             "override": 1 }
-        }
-        ],
-    "publish": true
-}
-- 
cgit v1.2.3