|
|
46288cd52d
|
EDT: édition des edt_id du groupe tous et des groupes de parcours
|
2023-11-13 12:16:10 +01:00 |
|
|
|
e71e4b27ec
|
EDT: ajout des edt_id dans formsemestre, groupes, modules, users
|
2023-11-06 22:05:38 +01:00 |
|
|
|
7cd4271073
|
Partition editor : progress bar
|
2023-07-31 19:57:47 +02:00 |
|
|
|
0dfc27e072
|
Correctif affectations groupes
|
2023-07-24 21:24:44 +02:00 |
|
|
|
febc15c4c8
|
Groups auto assignment
|
2023-07-22 22:40:09 +02:00 |
|
|
|
c6f3ad448a
|
Editeur partitions: Cache boite non affectés quand elle est vide
|
2023-06-07 18:50:34 +02:00 |
|
|
|
1f2b108c18
|
Amélioration front éditeur partitions
|
2023-02-22 14:27:11 +01:00 |
|
|
|
3536710974
|
Options de configuration partitions
|
2023-02-15 21:27:00 +01:00 |
|
|
|
c93ea8a0f1
|
Partition editor : liens vers etu + bug non affect
|
2023-02-11 14:09:11 +01:00 |
|
|
|
7038685843
|
Filtres + affectation non affectés
|
2023-01-08 20:39:26 +01:00 |
|
|
|
28813237f2
|
Nouvelle version editeur partitions
|
2023-01-08 17:31:15 +01:00 |
|
|
|
c75965fdfd
|
Partition editor : bug add + improve UX
|
2022-09-06 01:01:01 +02:00 |
|
|
|
713c707991
|
Partition editor - améliorations
|
2022-08-14 17:11:34 +02:00 |
|
|
|
c2baf1b6a7
|
Partition editor : corrections bugs
|
2022-07-26 11:14:36 +02:00 |
|
|
|
b15f755fcd
|
Partition editor : live update
|
2022-07-25 22:17:46 +02:00 |
|
|
|
6a3c9a613e
|
Interface modification
|
2022-07-24 21:52:26 +02:00 |
|
|
|
a3fc5b0def
|
Améliorations partition éditor
|
2022-07-24 00:18:32 +02:00 |
|
|
|
e1d3144af9
|
Partition editor V1 beta
|
2022-07-23 11:17:29 +02:00 |
|
|
|
2f5a786b2d
|
Place pour le futur éditeur de partitions
|
2022-07-22 17:37:01 +02:00 |
|
