aAbed d577e97758 fix(app-bar): title not hiding completely (#1376)		2023-10-15 16:16:55 +07:00
..
patches_selector_view.dart	fix(app-bar): title not hiding completely (#1376)	2023-10-15 16:16:55 +07:00
patches_selector_viewmodel.dart	fix(patches-selector): ignore punctuation marks when searching for patch (#1377)	2023-10-14 19:43:18 +07:00