summaryrefslogtreecommitdiffstats
path: root/remi-php72-fc.repo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2017-06-29 17:10:15 +0200
committerRemi Collet <remi@remirepo.net>2017-06-29 17:10:15 +0200
commit5fe78cce538c0d3c0b36a196fc4c03bf14a0adfc (patch)
treea119970fcaa45f642d2317fd24f397838117b02f /remi-php72-fc.repo
parentf2baa1bf16049279ea14bb52b74d14d17ab34b38 (diff)
cleanup
Diffstat (limited to 'remi-php72-fc.repo')
-rw-r--r--remi-php72-fc.repo18
1 files changed, 0 insertions, 18 deletions
diff --git a/remi-php72-fc.repo b/remi-php72-fc.repo
deleted file mode 100644
index bb01b6b..0000000
--- a/remi-php72-fc.repo
+++ /dev/null
@@ -1,18 +0,0 @@
-[remi-php72]
-name=Remi's RPM repository - PHP 7.2 - Fedora $releasever - $basearch
-#baseurl=http://rpms.remirepo.net/fedora/$releasever/php72/$basearch/
-mirrorlist=http://rpms.remirepo.net/fedora/$releasever/php72/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
-
-[remi-php72-debuginfo]
-name=Remi's PHP 7.2 RPM repository for Fedora $releasever - $basearch - debuginfo
-baseurl=http://rpms.remirepo.net/fedora/$releasever/debug-php72/$basearch/
-enabled=0
-gpgcheck=1
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi
-