Severin Kaderli 92c15e04d0 Add changes for work environment ... Signed-off-by: Severin Kaderli <severin@kaderli.dev>		2019-06-04 15:36:05 +02:00
..
bookmarks	Add changes for work environment	2019-06-04 15:36:05 +02:00
settings.ini	Add docker configuration	2019-05-01 17:07:56 +02:00