Merge CSS files and introduce dev theme

2014-11-20 11:17:45 +01:00 · 2014-11-20 11:17:45 +01:00 · d368f0862b
commit d368f0862b
parent 2d4e7400cb
8 changed files with 39 additions and 42 deletions
--- a/1
+++ b/1
@ -2,3 +2,4 @@
 - Résoudre le problème potentiel de famine de l'ordonnanceur en cas de brute-force d'une équipe
 - Ajouter dans la conf de nginx un ssl_dhparam + générer le fichier dans un script
 - Mettre à jour Smarty (et passer en « secure mode » ?)
+- Mettre à jour les logos