Index of /trisquel/pool/main/g/gnome-shell-extension-xrdesktop/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
gnome-shell-extension-xrdesktop_0.14.0-2_all.deb	5.1 KiB	Fri, 17 April 2020 11:58:19 PM