Skip to content
Snippets Groups Projects

update guidelines to state `Require Import|Export` rules

Warning
Björn Brandenburg created pipeline for commit 63719701
, finished
For model-reorg
8 jobs 6 minutes 13 seconds, queued for 0 seconds