Skip to content
Snippets Groups Projects
Commit ddcd2790 authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

update guidelines to state `Require Import|Export` rules 

While at it, clean up some Markdown rendering issues on Gitlab.
parent 1b7dd375
No related branches found
No related tags found
Pipeline #21788 passed with warnings