Log In
source-git
/
gnome-shell-extensions
Clone
Source Code
GIT
Source
Pull Requests
0
Stats
History extensions/desktop-icons/desktopManager.js
Branch:
88b1e8299556b6f64fef6352b8bb76614f4fcfe6
c8
c8s
master
88b1e8299556b6f64fef6352b8bb76614f4fcfe6
extensions
desktop-icons
desktopManager.js
add-extra-extensions.patch
rpm-build
• 3 years ago
88b1e8