Severin Kaderli 717875f759 Add docker configuration ... Signed-off-by: Severin Kaderli <severin@kaderli.dev>		2019-05-01 17:07:56 +02:00
..
bookmarks	Update installation scripts	2019-03-07 19:20:19 +01:00
settings.ini	Add docker configuration	2019-05-01 17:07:56 +02:00