From 0d13014e8a0bc4bef0e39e299e2ebd7460b345d4 Mon Sep 17 00:00:00 2001
From: Bartuccio Antoine
Date: Mon, 8 Jul 2019 15:36:30 +0200
Subject: [PATCH] pedagogy: simpler generation for department radio buttons
---
pedagogy/templates/pedagogy/guide.jinja | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/pedagogy/templates/pedagogy/guide.jinja b/pedagogy/templates/pedagogy/guide.jinja
index 0cdd5dc2..4046d0a1 100644
--- a/pedagogy/templates/pedagogy/guide.jinja
+++ b/pedagogy/templates/pedagogy/guide.jinja
@@ -21,8 +21,7 @@
- {% for department in [("EDIM", "EDIM"), ("ENERGIE", "EE"), ("IMSI", "IMSI"), ("INFO", "GI"), ("GMC", "MC"), ("HUMA", "HUMA"), ("TC", "TC")] %}
- {% set display_name, real_name = department %}
+ {% for (display_name, real_name) in [("EDIM", "EDIM"), ("ENERGIE", "EE"), ("IMSI", "IMSI"), ("INFO", "GI"), ("GMC", "MC"), ("HUMA", "HUMA"), ("TC", "TC")] %}
{% endfor %}