bevilj 0e08c7c6d9 css: use png logo instead of svg to avoid issues ... git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@114 a672b425-5310-4d7a-af5c-997e18724b81		2018-11-11 21:28:20 +00:00
..
TheShell.sketch	css: use png logo instead of svg to avoid issues	2018-11-11 21:28:20 +00:00