#842 Replace gnome-shell-extension-pomodoro by gnome-pomodoro
Merged 2 years ago by adamwill. Opened 2 years ago by luya.
Unknown source design-suite-35  into  f35

@@ -13,7 +13,7 @@

  gnome-books

  gnome-calendar

  gnome-photos

- gnome-shell-extension-pomodoro

+ gnome-pomodoro

  gnome-todo

  

  # Add cosmetic for terminal

This commit rename the superseded gnome-shell-extension-pomodoro to gnome-pomodoro.
See https://src.fedoraproject.org/rpms/gnome-pomodoro/blob/rawhide/f/gnome-pomodoro.spec

rebased onto 0fd1059

2 years ago

Pull-Request has been merged by adamwill

2 years ago
Metadata