summaryrefslogtreecommitdiffstats
path: root/remi-php71.repo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-06-19 10:16:54 +0200
committerRemi Collet <remi@remirepo.net>2018-06-19 10:16:54 +0200
commit083cf4692ae3b6893a1dbd5184542d08466d2756 (patch)
tree24ff03eb3ca5e2b108e656279a416e4288c7340b /remi-php71.repo
parent1c614592bb05bd260323a56c0133cf93547bfc15 (diff)
add php 7.3 repository
simplify sources
Diffstat (limited to 'remi-php71.repo')
-rw-r--r--remi-php71.repo10
1 files changed, 0 insertions, 10 deletions
diff --git a/remi-php71.repo b/remi-php71.repo
deleted file mode 100644
index 6153982..0000000
--- a/remi-php71.repo
+++ /dev/null
@@ -1,10 +0,0 @@
-[remi-php71]
-name=Remi's RPM repository - PHP 7.1 - Fedora $releasever - $basearch
-#baseurl=http://rpms.remirepo.net/fedora/$releasever/php71/$basearch/
-mirrorlist=http://cdn.remirepo.net/fedora/$releasever/php71/mirror
-# WARNING: If you enable this repository, you must also enable "remi"
-enabled=0
-gpgcheck=1
-failovermethod=roundrobin
-fastestmirror=1
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi-$releasever