Marcel Stör 5c65f2790d Remove custom favicon from docs
All the changes are in preparation for an eventual MkDocs 0.17 upgrade
2018-02-11 23:22:15 +01:00
..
2016-01-16 23:11:40 +01:00
2018-02-11 23:22:15 +01:00
2016-01-16 23:11:40 +01:00
2016-09-05 20:45:19 +02:00
2016-09-05 20:45:19 +02:00