Jakob Borg dd3d8a6c98 Revamp UI (fixes #185, fixes #147, fixes #136, fixes #124) 11 years ago
..
css dd3d8a6c98 Revamp UI (fixes #185, fixes #147, fixes #136, fixes #124) 11 years ago
fonts a1d575894a Edit configuration in GUI; use XML configuration 11 years ago
js a1d575894a Edit configuration in GUI; use XML configuration 11 years ago