Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Repository
gnome-shell-extensions
extensions
places-menu
placeDisplay.js
Find file
Blame
History
Permalink
Reload specials when XDG user dirs changes
· 9a5b35a6
Carl Xiong
authored
Mar 17, 2015
and
Florian Müllner
committed
Nov 25, 2017
Fixes
#12
9a5b35a6