Index of /pool/universe/g/gnome-shell-extension-remove-dropdown-arrows

Name                    Last modified      Size  Description
Parent Directory                             -   
gnome-shell-extensio..> 2019-09-21 04:58  2.2K  
gnome-shell-extensio..> 2019-09-21 04:58  2.3K  
gnome-shell-extensio..> 2019-09-21 04:58  4.0K  
gnome-shell-extensio..> 2019-09-21 04:58   36K  
gnome-shell-extensio..> 2018-02-12 13:08  2.0K  
gnome-shell-extensio..> 2018-02-12 13:08  2.2K  
gnome-shell-extensio..> 2018-02-12 13:13  3.8K  
gnome-shell-extensio..> 2018-02-12 13:08   36K