Go to file
2019-06-01 11:51:49 +00:00
docker Refactor docker image structure & CI 2019-05-27 17:43:39 +02:00
gitlab-pages Moved build job for gitlab-pages into the main .gitlab-ci.yml 2019-05-27 18:07:11 +02:00
packages typo in sed script 2019-05-27 13:10:29 +02:00
scripts Fix leftover debug URL 2019-05-27 18:10:58 +02:00
src fix cli.ml 2019-06-01 11:51:49 +00:00
vendors fix ligodity; add it to the bin; add source locations; merge 2019-06-01 11:29:31 +00:00
.gitignore move before merging repositories 2019-05-27 16:56:47 +02:00
.gitlab-ci.yml Add only 'master' to docker image deployment job 2019-05-27 18:47:10 +02:00
CONTRIBUTORS.md add MIT license 2019-05-25 15:52:12 +00:00
index.tar.gz update repository 2019-05-13 19:24:21 +00:00
LICENSE.md add MIT license 2019-05-25 15:52:12 +00:00
repo update repository 2019-05-13 19:24:21 +00:00
urls.txt update repository 2019-05-13 19:24:21 +00:00