tree 47917bee4c948db2c20a655674d68f54348097d8
parent f1e85e7f2eecd5bb9377d63cf0d8ff878be20987
author Michael Hanl <hanl@ids-mannheim.de> 1453492505 +0100
committer Michael Hanl <hanl@ids-mannheim.de> 1453492505 +0100

map conversion bug fix