xdrm-brackets 946d87dfe7 Correction des managers avec getCurrentYear		2016-01-07 21:39:49 +01:00
..
API.js	Correction des managers avec getCurrentYear	2016-01-07 21:39:49 +01:00
adjust.js	Déplacement d'étudiants multiple + affichage des noms de groupes par taille puis alpha	2015-12-06 15:05:22 +01:00
page-manager.js	Modification de shortcut-manager (pas besoin de tout retaper dans l'ordre) + correction JS "undefined creerSemestre"	2015-12-05 19:43:44 +01:00
shortcut-manager.js	merge remote	2015-12-05 19:45:06 +01:00