Marian Beermann fd21893591 revert logo colour to #00dd00 (per @TW) vor 7 Jahren
..
Makefile 0b37e59217 logo: add makefile to create PNG and PDF versions from master SVG vor 7 Jahren
favicon.ico 256f89e697 add back logo, see #272 vor 9 Jahren
logo.pdf fd21893591 revert logo colour to #00dd00 (per @TW) vor 7 Jahren
logo.png fd21893591 revert logo colour to #00dd00 (per @TW) vor 7 Jahren
logo.svg fd21893591 revert logo colour to #00dd00 (per @TW) vor 7 Jahren
logo_font.txt f5ea7f5643 Document logo font. Recreate logo png. Remove GIMP logo file. vor 9 Jahren