|
docker
|
Refactor docker image structure & CI
|
2019-05-27 17:43:39 +02:00 |
|
gitlab-pages
|
Add navbar link for odoc
|
2019-06-07 12:13:08 +02:00 |
|
packages
|
typo in sed script
|
2019-05-27 13:10:29 +02:00 |
|
scripts
|
add odoc to Ci
|
2019-06-07 11:56:03 +02:00 |
|
src
|
binary hotfix
|
2019-06-06 09:30:29 +00:00 |
|
vendors
|
minor fixes
|
2019-06-03 12:23:46 +00:00 |
|
.gitignore
|
Merge repository ligo-opam-repository
|
2019-05-27 11:54:29 +02:00 |
|
.gitlab-ci.yml
|
add odoc to Ci
|
2019-06-07 11:56:03 +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 |
