Merge pull request #27 from realraum/favicon
authorChristian Pointner <equinox@spreadspace.org>
Fri, 6 Jul 2018 07:34:48 +0000 (09:34 +0200)
committerGitHub <noreply@github.com>
Fri, 6 Jul 2018 07:34:48 +0000 (09:34 +0200)
doc: Generate a custom favicon from the logo


Trivial merge