-
Just Perfection authored
GNOME Shell 42 removed the panel corners, so panel corner size option not needed anymore.
06000bf4
To find the state of this project's repository at the time of any of these versions, check out the tags.
GNOME Shell 42 removed the panel corners, so panel corner size option not needed anymore.