Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-shell
Repository
gnome-shell
js
ui
appFavorites.js
Find file
Blame
History
Permalink
appFavorites: Update RENAMED_DESKTOP_IDS
· f7d11748
Daniel Rusek
authored
Apr 11, 2019
Fixes
#1160
f7d11748