Skip to content
Snippets Groups Projects

update guidelines to state `Require Import|Export` rules

Warning
Björn Brandenburg created pipeline for commit ddcd2790
, finished
1 related merge request: !68 Reorganize and clean up restructuring.module
8 jobs 6 minutes 17 seconds, queued for 2 seconds