]> git.pld-linux.org Git - packages/gnome-shell.git/tree
- patch the extension delete as well
-rw-r--r-- 7609 browser-plugin-webkit.patch
-rw-r--r-- 1702 extension-delete.patch
-rw-r--r-- 6051 gnome-shell.spec
This page took 0.32157 seconds and 4 git commands to generate.