Daniele Gobbetti d00b5a5d5d Merge branch 'master' into background-javascript		2017-08-18 12:15:01 +02:00
..
app_config	Merge branch 'master' into background-javascript	2017-08-18 12:15:01 +02:00
devintro.png	run optipng on all pngs	2016-09-21 09:25:33 +02:00
devintro.xmi	Component diagram giving an overview	2016-01-26 23:05:54 +01:00
ic_launcher.svg	change launcher icon to non -NC licenced one (thanks @xphnx)	2017-07-21 14:18:43 +02:00
logback.xml	Don't flush the logfile synchronously	2016-03-07 22:46:35 +01:00