Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Adam
Iris
Repository
master
Switch branch/tag
iris
CONTRIBUTING.md
Find file
Blame
History
Permalink
Apply 2 suggestion(s) to 1 file(s)
· 8646d5db
Ralf Jung
authored
Jul 26, 2021
and
Robbert Krebbers
committed
Jul 26, 2021
8646d5db
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.
Replace CONTRIBUTING.md
×
Attach a file by drag & drop or
click to upload
Commit message
Replace CONTRIBUTING.md
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.