From dd8563266e31efbdf08aabaf518e605e10b18b06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Iwan=20Cl=C3=A9ment?= <iwan.clement@free.fr>
Date: Mon, 7 May 2018 16:44:39 +0200
Subject: [PATCH] Ajout du package linux-devel pour famille RedHat

---
 softwares/developpement.sls | 1 +
 1 file changed, 1 insertion(+)

diff --git a/softwares/developpement.sls b/softwares/developpement.sls
index e69fdcf..ed954d8 100644
--- a/softwares/developpement.sls
+++ b/softwares/developpement.sls
@@ -12,5 +12,6 @@ Outils de developpement toute plateforme:
       - pkgs:
         - @development-tools
         - @development-librairies
+        - linux-devel
   {% endif %}
 {% endif %}