From 059914325f8583341264d3c43f201ce6c4dd2d15 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 16 Dec 2008 10:38:20 +0000
Subject: [PATCH] init

---
 mirroring/f10/yum.repos.d/building.repo.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 mirroring/f10/yum.repos.d/building.repo.in

diff --git a/mirroring/f10/yum.repos.d/building.repo.in b/mirroring/f10/yum.repos.d/building.repo.in
new file mode 100644
index 00000000..8075ebe9
--- /dev/null
+++ b/mirroring/f10/yum.repos.d/building.repo.in
@@ -0,0 +1,15 @@
+[fedora]
+name=Fedora 10 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/10/Everything/$basearch/os/
+enabled=1
+gpgcheck=0
+# where can we get this key ?
+#gpgkey=http://redhat.download.fedoraproject.org/pub/fedora/linux/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora
+
+[updates]
+name=Fedora 10 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/10/$basearch/
+enabled=1
+gpgcheck=1
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
+
-- 
2.47.0