misc: name change

This commit is contained in:
Rasmus Andersson 2019-02-02 16:29:35 -08:00
parent af0055a98c
commit 5d3b973ddb
4 changed files with 6 additions and 6 deletions

View file

@ -45,7 +45,7 @@ def main():
print('Did you forget to `git fetch --tags` perhaps?', file=sys.stderr)
sys.exit(1)
ufoPrefix = 'src/Inter-UI-'
ufoPrefix = 'src/Inter-'
changes = OrderedDict()
deleted = []