Skip to content

move style guide into repository

Ralf Jung requested to merge ralf/style-guide into master

Moves the wiki page https://gitlab.mpi-sws.org/iris/iris/-/wikis/style-guide into the repo, so that we can use the usual MR process for style guide changes.

Merge request reports