| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gnome-shell-extension-workspaces-to-dock_52+git..> | 4.9 MiB | April 17, 2020 |
| gnome-shell-extension-workspaces-to-dock_52+git..> | 93.3 KiB | April 17, 2020 |
| gnome-shell-extension-workspaces-to-dock_52+git..> | 2.0 KiB | April 17, 2020 |
| gnome-shell-extension-workspaces-to-dock_52+git..> | 3.0 KiB | April 17, 2020 |
| gnome-shell-extension-workspaces-to-dock_44.ori..> | 4.9 MiB | November 4, 2017 |
| gnome-shell-extension-workspaces-to-dock_44-1_a..> | 87.8 KiB | November 4, 2017 |
| gnome-shell-extension-workspaces-to-dock_44-1.dsc | 2.2 KiB | November 4, 2017 |
| gnome-shell-extension-workspaces-to-dock_44-1.d..> | 1.7 KiB | November 4, 2017 |