This repository has been archived on 2023-05-31. You can view files and clone it, but cannot push or open issues or pull requests.

Gabriel Augendre 30c5b3fc1f Fix run script		2020-12-26 18:05:16 +01:00
..
nginx.conf	Revert to docker build using gitlab ci	2020-12-26 16:49:47 +01:00
run.sh	Fix run script	2020-12-26 18:05:16 +01:00
runtests.sh	Fix tests	2020-12-25 14:46:32 +01:00
setup-docker	Update docker setup	2020-11-11 08:46:34 +01:00