Jev Björsell 51eb1a2855 Merge branch 'update-logo' into 'dev' ... Updated logo and favicon See merge request ligolang/ligo!517		2020-04-24 16:50:20 +00:00
..
webide	Merge branch 'update-logo' into 'dev'	2020-04-24 16:50:20 +00:00