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 tuareg to dev switch setup
|
2019-06-09 22:03:08 -07:00 |
src
|
Delete unused build scripts
|
2019-06-08 23:53:43 -07:00 |
vendors
|
minor rewriting; add docs
|
2019-05-28 10:46:22 +00:00 |
.gitignore
|
Merge repository ligo-opam-repository
|
2019-05-27 11:54:29 +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 |