Files
gnome-shell-extensions/extensions/drive-menu
Giovanni Campagna a21def6e6e drive-menu: ignore shadowed mounts
Shadow mounts are created by the GVolume infrastructure to wrap
daemon mounts managed by volume monitors, and are an implementation
detail that should not be exposed to the user.
2013-10-20 17:49:12 +02:00
..