Leo/oclaunch

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

Author	SHA1 Message	Date
Leo	70db3611fe Correct bug in version_set script	10 years ago
Leo	11d134cd88 Start version 0.3.1	10 years ago
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