Index of /usr/share/doc/gnome-shell-extensions/


../
NEWS.gz                                            26-Oct-2022 07:53                9979
README.md                                          26-Oct-2022 07:53                3053
changelog.Debian.gz                                22-Nov-2022 19:14                2689
copyright                                          22-Nov-2022 19:14                1208