-
Dieter Devlaminck authored
inverted undo.png colors, added undo picture to 5b10gird-wp-gray_v3 layout and fixed a bug in the screen layout reader
217a0950
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
inverted undo.png colors, added undo picture to 5b10gird-wp-gray_v3 layout and fixed a bug in the screen layout reader