diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-02-01 22:29:28 +0100 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-02-01 22:58:56 +0100 |
| commit | ab9cc49fd89dc909f48c3c9fac635949be4bc435 (patch) | |
| tree | 9a596b09ba594d28a9c886f86268025111e0df9f /Meta | |
| parent | a6ed034f89380a887c5c653e2b3f4336e25336b3 (diff) | |
| download | serenity-ab9cc49fd89dc909f48c3c9fac635949be4bc435.zip | |
Meta: Remove now-obsolete import from lint script
I'm sorry :(
Diffstat (limited to 'Meta')
| -rwxr-xr-x | Meta/lint-keymaps.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Meta/lint-keymaps.py b/Meta/lint-keymaps.py index 2c45c2b055..9b2f9b7a7d 100755 --- a/Meta/lint-keymaps.py +++ b/Meta/lint-keymaps.py @@ -2,7 +2,6 @@ import json import os -import sys PERMITTED_MAPS = ['map', 'shift_map', 'alt_map', 'altgr_map', 'shift_altgr_map'] |