| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gnome-shell-extension-nohotcorner_19.dsc | 698 B | 2020-Nov-18 13:11 |
| gnome-shell-extension-nohotcorner_19.tar.xz | 7.8 KiB | 2020-Nov-18 13:11 |
| gnome-shell-extension-nohotcorner_19_all.deb | 8.4 KiB | 2020-Nov-18 13:11 |