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>
This commit is contained in:
Philip Withnall 2023-01-23 16:38:36 +00:00
parent be8b23efb7
commit a9e6e44ef8
5 changed files with 0 additions and 57 deletions

View file

@ -283,7 +283,6 @@ subdir('js')
subdir('src')
subdir('po')
subdir('data')
subdir('tools')
if get_option('tests')
subdir('tests')