Laura Klünder 5106d029ae remove docker stuff because it's outdated and not helpful		2018-11-27 21:12:48 +01:00
..
c3nav.puml	move all background colors into location groups	2017-07-13 13:32:06 +02:00
manual.md	fix typo in manual	2017-01-08 16:40:22 +01:00