diff options
Diffstat (limited to 'roles/repos/files/oso-rhui-rhel-7-server.repo')
| -rw-r--r-- | roles/repos/files/oso-rhui-rhel-7-server.repo | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/roles/repos/files/oso-rhui-rhel-7-server.repo b/roles/repos/files/oso-rhui-rhel-7-server.repo deleted file mode 100644 index d32070634..000000000 --- a/roles/repos/files/oso-rhui-rhel-7-server.repo +++ /dev/null @@ -1,13 +0,0 @@ -[oso-rhel-7-server] -name=Red Hat Enterprise Linux 7 Server from RHUI (RPMs) -baseurl=http://10.240.169.148/mirror/rhui-rhel-server-7-releases -enabled=1 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release - -[oso-rhel-7-server-optional] -name=Red Hat Enterprise Linux 7 Server - Optional from RHUI (RPMs) -baseurl=http://10.240.169.148/mirror/rhui-rhel-server-7-releases-optional -enabled=1 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-redhat-release |