Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Repository
f0e3cfaf3da1f5a0133ae8c13e3dabfedc35e665
Switch branch/tag
lutin
_oasis
Find file
Blame
History
Permalink
Hide the Makefile.version file so that the opam package does not depend on git to compile
· f0e3cfaf
erwan
authored
Dec 12, 2017
Add a CI pipeline
f0e3cfaf
erwan authored