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
Iris
Tutorial POPL18
Commits
Commit
339a19a1
authored
Mar 14, 2020
by
Jacques-Henri Jourdan
Browse files
Merge branch 'robbert/license' into 'master'
Add LICENSE file. See merge request
!3
parents
6d618fdd
4d466626
Pipeline
#25236
passed with stage
in 17 minutes and 37 seconds
Changes
1
Pipelines
3