Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
verimag
synchrone
lutin
Repository
lutin
Makefile.dev
Find file
Blame
History
Permalink
Do not generate the opam file with aosis2opam anymore
· a7040a2c
erwan
authored
May 18, 2018
a7040a2c
erwan authoreda7040a2c