alligator: the original po file name was corrected

Description

alligator: the original po file name was corrected

No need for the mapping (fixing the original file should always
be the preferred way, mapping is for special cases like
multiple branches with different names).

Details

Committed
ltoscanoJun 7 2020, 9:06 AM
Parents
R883:1570760: alligator: the appdata file was renamed
Branches
Unknown
Tags
Unknown