Manfred Karrer 1d5965e296 Merge remote-tracking branch 'origin/0.5.2' into 0.5.2		2017-07-14 11:43:23 +02:00
..
src	clear downloaded/verified list in case download fails and button is pushed again.	2017-07-12 16:57:56 +02:00
pom.xml	Change version nr back to 0.5.1 (0.5.2 is not ready yet)	2017-07-14 11:41:20 +02:00