Leo/oclaunch

mirror of https://gitlab.com/WzukW/oclaunch.git

Author	SHA1 Message	Date
Leo	b4403baa4f Opam version is now being updated	10 years ago
Leo	527d3e3b7f Correct .gitignore	10 years ago
Leo	588519e139 Add utility	10 years ago