Draft: Resolve "add the option to open plugins files from the editor & edit them in real times"
requested to merge 343-add-the-option-to-open-plugins-files-from-the-editor-edit-them-in-real-times into main
[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Mise à jour de sécurité programmée lundi 16/09/2024 à 9h. Interruption de service possible jusqu'à midi.