Andreas Jaeger e63a2fc853 Move non-install guide docs around ...

These documents are not part of an install guide, move them to
contributor docs.

Change-Id: Icd420a651b930f8ee8a52f39c88b2dc1961ec12e

2017-09-22 07:12:11 +02:00

..

source

Move non-install guide docs around

2017-09-22 07:12:11 +02:00

.gitignore

Add Sphinx doc build

2016-02-06 22:09:01 +00:00