oclaunch

oclaunch

Mirror of https://gitlab.com/WzukW/oclaunch. Goto oclaunch.tuxfamily.org

Project ID: 1249
  • Leo's avatar
    Improve debug message · f502335d
    Leo authored
    Add ':' before debugging message preceding other ones, it may be prettier this
    way.
    f502335d
Name
Last commit
Last update
bench Loading commit data...
src Loading commit data...
test Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.ocp-indent Loading commit data...
0install.sh Loading commit data...
AUTHORS.md Loading commit data...
AUTHORS.txt Loading commit data...
CHANGELOG.md Loading commit data...
CONTRIBUTING.md Loading commit data...
INSTALL.md Loading commit data...
INSTALL.txt Loading commit data...
LICENCE Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
THANKS.md Loading commit data...
TODO.md Loading commit data...
VERSION Loading commit data...
_oasis Loading commit data...
_tags Loading commit data...
atdgen_update.sh Loading commit data...
code_of_conduct.md Loading commit data...
configure Loading commit data...
dev.json Loading commit data...
fix-indent.ml Loading commit data...
gitlab-ci.sh Loading commit data...
logo-128.png Loading commit data...
logo.png Loading commit data...
logo.svg Loading commit data...
myocamlbuild.ml Loading commit data...
opam Loading commit data...
pkg.sh Loading commit data...
release.sh Loading commit data...
setup.ml Loading commit data...
sign-dist.sh Loading commit data...
t.sh Loading commit data...
test.sh Loading commit data...
version_set.sh Loading commit data...