|
docker
|
Refactor docker image structure & CI
|
2019-05-27 17:43:39 +02:00 |
|
gitlab-pages
|
Add Team & Partners, visual tweaks
|
2019-06-03 18:16:05 +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 |
|
.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 |
