Merge remote-tracking branch 'origin/master' into develop
This commit is contained in:
commit
ba7030d216
1 changed files with 1 additions and 1 deletions
|
@ -87,7 +87,7 @@ def keymap_check(kb, km):
|
||||||
return ok
|
return ok
|
||||||
|
|
||||||
# Additional checks
|
# Additional checks
|
||||||
invalid_files = git_get_ignored_files(keymap_path.parent)
|
invalid_files = git_get_ignored_files(keymap_path.parent.as_posix())
|
||||||
for file in invalid_files:
|
for file in invalid_files:
|
||||||
cli.log.error(f'{kb}/{km}: The file "{file}" should not exist!')
|
cli.log.error(f'{kb}/{km}: The file "{file}" should not exist!')
|
||||||
ok = False
|
ok = False
|
||||||
|
|
Loading…
Reference in a new issue