Markus Fisch 0f7da91e77 Draw round corners for ROI box ... Looks much better.		2020-05-31 19:29:00 +02:00
..
src	Draw round corners for ROI box	2020-05-31 19:29:00 +02:00
build.gradle	Advance version number to 1.30.0	2020-05-30 14:42:17 +02:00
lint.xml	Fix some style issues	2019-12-17 13:57:54 +01:00
proguard-rules.pro	Explicitly keep support.v7.widget.SearchView	2020-04-15 11:06:32 +02:00