Daniel Seiller fb54bdaf0c docs: Rename doc folder to docs, update outline		2019-08-06 03:35:15 +02:00
..
settings.json	docs: Rename doc folder to docs, update outline	2019-08-06 03:35:15 +02:00