tibbi 2d6c48cd90 hide the top search menu at scrolling		2023-01-03 15:38:39 +01:00
..
src	hide the top search menu at scrolling	2023-01-03 15:38:39 +01:00
.gitignore	…
build.gradle	properly update all menu colors onResume	2023-01-02 23:06:47 +01:00
proguard-rules.pro	…