aion merge requestshttps://gitlab.vci.rwth-aachen.de:9000/ptrettner/aion/-/merge_requests2018-12-03T08:11:59Zhttps://gitlab.vci.rwth-aachen.de:9000/ptrettner/aion/-/merge_requests/1Escape windows path backslashes in JSON output2018-12-03T08:11:59ZJonathan Kunstwaldjonathan.kunstwald@rwth-aachen.deEscape windows path backslashes in JSON output