Go to file
Georges Dupéron 461b0ff331 cd folder
2019-06-12 11:09:21 +02:00
docker Use sh, not bash 2019-06-10 10:23:18 +02:00
gitlab-pages Merge remote-tracking branch 'origin/georges-bash-security-and-error-detection' into feature/#3-add-odoc-to-website 2019-06-10 21:42:37 +02:00
packages typo in sed script 2019-05-27 13:10:29 +02:00
scripts Use "next" instead of "latest" 2019-06-10 19:02:49 +02:00
src Added types for mligo map instructions 2019-06-07 15:16:48 +02:00
vendors typo 2019-06-10 10:23:18 +02:00
.gitignore Merge repository ligo-opam-repository 2019-05-27 11:54:29 +02:00
.gitlab-ci.yml cd folder 2019-06-12 11:09:21 +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
Makefile Started using the scripts/… in .gitignore, started a Makefile for one-liners to be used by the devs, e.g. make build-deps, make, make test 2019-06-10 10:19:49 +02:00
repo update repository 2019-05-13 19:24:21 +00:00
urls.txt update repository 2019-05-13 19:24:21 +00:00