From 083cf4692ae3b6893a1dbd5184542d08466d2756 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 19 Jun 2018 10:16:54 +0200
Subject: add php 7.3 repository simplify sources

---
 remi-php72.repo | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 remi-php72.repo

(limited to 'remi-php72.repo')

diff --git a/remi-php72.repo b/remi-php72.repo
deleted file mode 100644
index e722376..0000000
--- a/remi-php72.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://cdn.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-$releasever
-
-[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-$releasever
-
-- 
cgit