Philip Withnall a9e6e44ef8 tools: Drop gnome-shell-overrides-migration.sh ... The tool was added in 2018 to migrate to per-desktop overrides from the old overrides system. 5 years later, everyone who’s going to migrate probably has migrated, so we can delete the script and remove a process running on every login. Signed-off-by: Philip Withnall <pwithnall@endlessos.org> Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2611>		2023-01-23 16:38:36 +00:00
..
build	*: Fix spelling mistakes found by codespell	2020-08-21 18:25:09 +00:00