4 commits

Author	SHA1	Message	Date
Griatch	24ba76c6b4	Doc refactor/renaming	2020-07-12 17:33:52 +02:00
Griatch	9ce52291be	Fixed all errors in doc building	2020-07-11 00:27:10 +02:00
Griatch	70ab2cf427	Fix all failing links and warnings	2020-07-09 00:06:50 +02:00
Griatch	d6738075ad	Made a lot of progress on the search tutorial	2020-07-08 00:14:37 +02:00