xdrm-brackets 5bf45d32d1 Correction selection formation SETTINGS		2016-01-07 21:41:45 +01:00
..
API.js	Correction selection formation SETTINGS	2016-01-07 21:41:45 +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