]> git.pld-linux.org Git - packages/gnome-shell.git/tree
- patch the extension delete as well auto/th/gnome-shell-3_2_1-4
-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.132426 seconds and 4 git commands to generate.