Andreas 6b2b21edfa Fix Filter not being applied in Browse Source (#7945)

2022-09-04 11:15:13 -04:00

..

src

Fix Filter not being applied in Browse Source (#7945)

2022-09-04 11:15:13 -04:00

.gitignore

…

build.gradle.kts

Maybe fix extensions list crash

2022-08-31 15:56:08 -04:00

proguard-android-optimize.txt

Adjust R8 optimization configs to fix extension issues

2022-05-26 19:41:43 -04:00

proguard-rules.pro

Remove Duktape

2022-08-18 18:01:57 -04:00

shortcuts.xml

…