7 commits

Author	SHA1	Message	Date
Griatch	1d5f27b820	Run black on sources; add black config	2020-07-27 21:12:06 +02:00
Griatch	6af2fc6819	Copy doc tools from develop	2020-07-12 20:03:09 +02:00
Griatch	ff11fbd8c3	Back-port some config/readme from develop	2020-06-14 20:20:43 +02:00
Griatch	1a0d716f27	Update favicon also for master	2020-06-13 23:28:25 +02:00
Griatch	44f5df2e2c	Changes to deploy mechanism	2020-06-13 10:43:28 +02:00
Griatch	0f13ce318b	Set branch whitelist	2020-06-12 22:04:01 +02:00
Griatch	8c8a0ec985	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00