-
Sebastian Keller authored
The file has been renamed in the gnome-shell repo. Related: GNOME/gnome-shell!3122 Part-of: <GNOME/mutter!3554>
88bc5283
The file has been renamed in the gnome-shell repo. Related: GNOME/gnome-shell!3122 Part-of: <GNOME/mutter!3554>