Charles Lombardo 64ea5522d3 android: Remove redundant option from slider dialog ...

You can already reset any setting by long pressing the settings item.

2023-08-12 15:45:27 -04:00

..

src

android: Remove redundant option from slider dialog

2023-08-12 15:45:27 -04:00

build.gradle.kts

android: Android 14 support

2023-06-28 16:15:18 -04:00

proguard-rules.pro

android: Various fixes for CI.

2023-06-03 00:06:05 -07:00