Koen Zandberg 10aaca82aa doxygen: Replace favicon with square png ... The previous favicon was a 35x40 png file. Some (if not all) browsers stretch the icon to a square. This stretched the original favicon without keeping the aspect ratio. This commit replaces the favicon with a square 128x128 png image.		2020-10-03 14:34:55 +02:00
..
doxygen	doxygen: Replace favicon with square png	2020-10-03 14:34:55 +02:00
memos	doc: fix typos	2019-11-23 22:39:38 +01:00