Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Tej Chajed
iris
Repository
3c76c273d9414d0acf58e153570df0539f60dd6d
Switch branch/tag
iris-coq
CONTRIBUTING.md
Find file
Blame
History
Permalink
Update CONTRIBUTING.md
· 3c76c273
Ralf Jung
authored
Dec 18, 2017
3c76c273
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.
CONTRIBUTING.md
880 Bytes
Edit
Web IDE
Replace CONTRIBUTING.md
×
Attach a file by drag & drop or
click to upload
Commit message
Replace CONTRIBUTING.md
Replace file
Cancel
A new branch will be created in your fork and a new merge request will be started.