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
dab1ea264ca414e3af2957a8462e453519503c00
Switch branch/tag
iris-coq
CONTRIBUTING.md
Find file
Blame
History
Permalink
add a contributor's guide
· dab1ea26
Ralf Jung
authored
Feb 13, 2017
dab1ea26
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.
CONTRIBUTING.md
749 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.