Go to file
2019-06-06 17:37:49 +00:00
docker Refactor docker image structure & CI 2019-05-27 17:43:39 +02:00
gitlab-pages Merge branch 'feature/#10-website-visual-overhaul' into feature/#9-add-contributor-docs 2019-06-03 18:55:06 +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 Merge branch 'dev' into 8-reporting-of-error-messages 2019-06-06 17:37:49 +00:00
vendors fix build (my bad) 2019-06-05 14:26:01 +02:00
.gitignore Merge repository ligo-opam-repository 2019-05-27 11:54:29 +02:00
.gitlab-ci.yml build the remote-repo job only on master 2019-06-01 13:44:08 +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