This repository has been archived on 2020-04-21. You can view files and clone it, but cannot push or open issues or pull requests.

Felix Ableitner 62ba018b19 Include docs in docker image		2020-01-01 18:14:09 +01:00
..
src	Include docs in docker image	2020-01-01 18:14:09 +01:00
.gitignore	Use mdbook for documentation (fixes #375)	2020-01-01 17:24:36 +01:00
book.toml	Use mdbook for documentation (fixes #375)	2020-01-01 17:24:36 +01:00