sk 9de83355e1 revert api timeout and increase for search ... closes sk22#881		2023-10-20 13:31:27 +02:00
..
src	revert api timeout and increase for search	2023-10-20 13:31:27 +02:00
.editorconfig	Merge upstream redesign (#714)	2023-07-16 18:01:42 +02:00
.gitignore	…
build.gradle	boop version	2023-10-19 16:59:45 +02:00
proguard-rules.pro	workaround for proguard errors	2023-06-15 18:12:29 +02:00