Go to file
2019-05-27 18:10:25 +02:00
docker Refactor docker image structure & CI 2019-05-27 17:43:39 +02:00
packages typo in sed script 2019-05-27 13:10:29 +02:00
scripts Add pulling of the docker image used by the CLI wrapper, nicer comments & messages 2019-05-27 18:10:25 +02:00
src Fixed the translation of let-in. 2019-05-24 19:31:39 +02:00
vendors cleanup 2019-05-27 13:11:57 +02:00
.gitignore Merge repository ligo-opam-repository 2019-05-27 11:54:29 +02:00
.gitlab-ci.yml Rename CI stages 2019-05-27 18:00:46 +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