|
dev
|
Improve dev Dockerfile (#1333)
|
2018-10-22 14:37:40 +02:00 |
|
gitpod
|
Add automated dev setup using Gitpod
|
2019-04-12 09:25:43 +02:00 |
|
janitor
|
Create new Docker dev image (#1173)
|
2018-10-09 17:35:02 +02:00 |
|
production
|
WIP plugins: add ability to register plugins
|
2019-07-24 10:58:16 +02:00 |
