pm47 dbb4f5b467 set version to 0.2-alpha11		2018-03-15 19:41:53 +01:00
..
src	Improved handling of timeouts in API and GUI (#484)	2018-03-15 19:33:12 +01:00
pom.xml	set version to 0.2-alpha11	2018-03-15 19:41:53 +01:00