Go to file
2019-05-14 20:12:39 +02:00
src Move into src/; add vendors/ subfolder, add CI script. 2019-05-14 17:53:44 +02:00
vendors Update submodule 2019-05-14 20:12:39 +02:00
.gitlab-ci.yml gitlab-ci: opam init --bare to make the build faster 2019-05-14 19:52:48 +02:00
.gitmodules Move into src/; add vendors/ subfolder, add CI script. 2019-05-14 17:53:44 +02:00