lint: Remove legacy config

It is now empty and unused.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2866>
This commit is contained in:
Florian Müllner 2023-08-07 03:27:37 +02:00 committed by Marge Bot
parent cbec47d7cc
commit 90bd72206b