From 45aeacaa6ec51a6d21658d63b4443016834db945 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 2 Jan 2015 15:49:27 +0100
Subject: [PATCH] fix previous move that had gone wrong after I accidentally
 mixed f21 and f12

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

diff --git a/mirroring/f21/yum.repos.d/building.repo.in b/mirroring/f21/yum.repos.d/building.repo.in
new file mode 100644
index 00000000..106ff169
--- /dev/null
+++ b/mirroring/f21/yum.repos.d/building.repo.in
@@ -0,0 +1,16 @@
+[fedora]
+name=Fedora 21 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/21/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-21-primary
+
+[updates]
+name=Fedora 21 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/21/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-21-primary
+
-- 
2.43.0