revanced-manager/lib/ui/views/patches_selector
2022-08-17 23:06:02 +01:00
..
patches_selector_view.dart fix: patch selection while scrolling 2022-08-17 23:06:02 +01:00
patches_selector_viewmodel.dart fix: patch selection while scrolling 2022-08-17 23:06:02 +01:00