mirror of
https://pagure.io/fedora-kickstarts.git
synced 2024-12-22 05:35:26 +00:00
Replace gnome-shell-extension-pomodoro by gnome-pomodoro
This commit addresses the change from upstream renaming gnome-shell-extension-pomodoro to gnome-pomodoro. See https://src.fedoraproject.org/rpms/gnome-pomodoro/blob/rawhide/f/gnome-pomodoro.spec Signed-off-by: Luya Tshimbalanga <luya@fedoraproject.org>
This commit is contained in:
parent
0fd10593ac
commit
adf3ee6644