|
dev
|
Deprecate Node 8
|
2019-08-07 12:07:59 +02:00 |
|
gitpod
|
Try to fix gitpod
|
2019-12-03 17:22:25 +01:00 |
|
janitor
|
Create new Docker dev image (#1173)
|
2018-10-09 17:35:02 +02:00 |
|
production
|
Simplify Dockerfile and slim Docker image
|
2019-12-04 08:43:58 +01:00 |
