This repository has been archived on 2022-11-26. You can view files and clone it, but cannot push or open issues or pull requests.

Evert Prants 90fffa7ab4 Remove unused logos, change main logo to png		2019-03-21 00:05:46 +02:00
..
script	Maintenance commit Sat Jan 5 01:10:23 EET 2019	2019-01-05 01:10:23 +02:00
style	Remove unused logos, change main logo to png	2019-03-21 00:05:46 +02:00