10 commits

Author	SHA1	Message	Date
Christian Winther	284bb26d92	sync	2024-01-06 16:43:48 +00:00
Christian Winther	c1fbccb07c	bootstrapping worked	2024-01-05 16:52:00 +00:00
Christian Winther	7dcca09c65	a bit of refactoring	2024-01-04 13:07:01 +00:00
Christian Winther	98211d3620	refactor Dockerfile and Docker workflow	2023-12-28 23:46:59 +00:00
Pierre Jaury	c82d0fb389	Fix the docker build	2018-08-23 22:57:22 +02:00
Pierre Jaury	5224d7cd96	Move Dockerfiles to contrib/	2018-08-23 22:43:47 +02:00
Pierre Jaury	862e9231d1	Use the storage structure from git	2018-06-16 10:35:38 +02:00
Moritz Heiber	407095c13b	Also added the second docker-compose configuration file to dockerignore	2018-05-29 10:28:19 +02:00
Moritz Heiber	609ca40e69	Tweaked the Docker configuration	2018-05-29 10:28:19 +02:00
kpcyrd	77ca794cf0	Add simple docker deployment	2018-05-20 15:02:29 +02:00