Skip to content
Snippets Groups Projects
Commit 3b486cb7 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 8ea52853
No related branches found
No related tags found
No related merge requests found
Pipeline #21584 failed
Stage: build
Stage: process