0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wmllint-1.4: replaced a dict(map()) with dict comprehension

Browse source
This commit is contained in:
Elvish_Hunter 2015-09-12 22:59:18 +02:00
parent a12d99e98c
commit b8dfa190f2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/tools/wmllint-1.4
View file

@ -571,7 +571,7 @@ notepairs = (
)
trait_note = dict(notepairs)
note_trait = dict(map(lambda p: (p[1], p[0]), notepairs))
note_trait = {pair[1]: pair[0] for pair in notepairs}
def string_strip(value):
"String-strip the value"