Files
gnome-shell/js
Georges Basile Stavracas Neto fa97f7141b workspace: Remove reserved slots
This is a pre-3.0 feature that was dropped before
the 3.0 release, but managed to find its way until
now, 11 years later.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1352
2020-07-07 12:26:59 +02:00
..
2019-11-11 19:25:14 +00:00
2020-07-07 12:26:59 +02:00