Index of /debian/pool/contrib/g/gnome-shell-extension-xrdesktop

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] gnome-shell-extension-xrdesktop_0.14.0.orig.tar..> 2020-04-09 03:51  4.7K
Apache/2.4.65 (Debian) Server at mirror.schubert.si Port 443