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 |
src
|
Add environmental variables to make build
|
2019-06-01 02:24:59 -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 |
build.sh
|
Add execution privileges to build.sh
|
2019-06-01 20:04:46 -07: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 |
install.sh
|
Add execution permissions to shell scripts
|
2019-05-31 22:52:20 -07: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 |