7 commits

Author	SHA1	Message	Date
Griatch	b24d4f0e1e	Run black on sources; add black config	2020-07-27 21:12:06 +02:00
Griatch	c52f505d00	Copy doc tools from develop	2020-07-12 20:03:09 +02:00
Griatch	2a79f623c4	Back-port some config/readme from develop	2020-06-14 20:20:43 +02:00
Griatch	cd88660c00	Update favicon also for master	2020-06-13 23:28:25 +02:00
Griatch	269fc3b1bc	Changes to deploy mechanism	2020-06-13 10:43:28 +02:00
Griatch	ef506f0da6	Set branch whitelist	2020-06-12 22:04:01 +02:00
Griatch	f7bde74360	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00