Archives
/
horst3180_arc-theme
mirror of https://github.com/horst3180/arc-theme
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '9478b8de1c'
${ noResults }
horst3180_arc-theme/common/gnome-shell
History
Horst3180 1de4ef7977
gnome-shell: remove menu separator margins 		8 years ago
..
3.14 gnome-shell: remove menu separator margins 8 years ago
3.16 gnome-shell: remove menu separator margins 8 years ago
3.18 gnome-shell: remove menu separator margins 8 years ago
3.20 adapt to changes in GTK+ 3.19.x 9 years ago