Tom Jack
|
c83813456a
|
Relocate .opam
|
2019-12-16 22:50:25 +00:00 |
|
Pierre-Emmanuel Wulfman
|
f68e91466e
|
Make install script works on archlinux
|
2019-10-24 13:04:16 +00:00 |
|
Georges Dupéron
|
47409db7db
|
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 |
|
Georges Dupéron
|
17b413faee
|
Security aspects for shell scripts (well, an attempt at that)
|
2019-06-10 10:19:49 +02:00 |
|
Matej Sima
|
5feba725cb
|
Refactor docker image structure & CI
|
2019-05-27 17:43:39 +02:00 |
|