diff options
Diffstat (limited to 'remi-php71-fc.repo')
| -rw-r--r-- | remi-php71-fc.repo | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/remi-php71-fc.repo b/remi-php71-fc.repo deleted file mode 100644 index 15ef7ec..0000000 --- a/remi-php71-fc.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://rpms.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 |