Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
inferno
Commits
9ec6743ca9cd7b115a3d241f51ebde7635d5025d
Switch branch/tag
inferno
inferno.opam
24 Sep, 2019
2 commits
Fix opam package description.
· 9ec6743c
POTTIER Francois
authored
Sep 24, 2019
9ec6743c
Switch to Dune.
· 4ab55b43
POTTIER Francois
authored
Sep 24, 2019
4ab55b43
POTTIER Francois authored
POTTIER Francois authored