-
Andrei Paskevich authored
and Debug.register_stop_flag into register_flag. While information flags (selectable by --debug-all) are more common, it is safer to treat a generic debug flag as behaviour-changing by default.
a6fb3775
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
and Debug.register_stop_flag into register_flag. While information flags (selectable by --debug-all) are more common, it is safer to treat a generic debug flag as behaviour-changing by default.