From 5b620c3d4f2cfcd10c8f509e517fd6fdb402509d Mon Sep 17 00:00:00 2001 From: Devin Lin Date: Mon, 24 Feb 2025 19:30:11 -0500 Subject: [PATCH] main/postmarketos-ui-plasma-mobile: switch to Dolphin from Index (MR 6255) [ci:skip-vercheck] Dolphin is now mobile friendly, we can use it instead of Index as the default file manager. --- main/postmarketos-ui-plasma-mobile/APKBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/postmarketos-ui-plasma-mobile/APKBUILD b/main/postmarketos-ui-plasma-mobile/APKBUILD index 145f2c9c8..0eb6dd82e 100644 --- a/main/postmarketos-ui-plasma-mobile/APKBUILD +++ b/main/postmarketos-ui-plasma-mobile/APKBUILD @@ -16,7 +16,7 @@ depends=" " _pmb_recommends=" angelfish - index + dolphin kclock koko krecorder