-
Guillaume Melquiond authored
This removes the need for exporting the theory about marks and thus the resulting noise in the produced tasks. The patch is large due to the dependencies between files.
5fe2e452
[A venir] Mise en place de quotas sur nos instances gitlab. Pour plus d'information lire: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
This removes the need for exporting the theory about marks and thus the resulting noise in the produced tasks. The patch is large due to the dependencies between files.