![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/page.png){kind=icon}
![[ ]](/icons/page_white_compressed.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf-1.debian.tar.xz | 25-Dec-2016 00:18 | 8.9K |
| gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf-1.dsc | 25-Dec-2016 00:18 | 2.2K |
| gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf.orig.tar.gz | 25-Dec-2016 00:18 | 95K |
| gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf-1_all.deb | 26-Dec-2016 00:48 | 49K |
| gnome-shell-extension-pixelsaver_1.20-1.dsc | 06-Jan-2020 18:13 | 2.2K |
| gnome-shell-extension-pixelsaver_1.20-1.debian.tar.xz | 06-Jan-2020 18:13 | 9.3K |
| gnome-shell-extension-pixelsaver_1.20.orig.tar.gz | 06-Jan-2020 18:13 | 170K |
| gnome-shell-extension-pixelsaver_1.20-1_all.deb | 06-Jan-2020 18:18 | 96K |