Merge branch 'matthiaskrgr/catharsis_opt' into 'master'
authorMirio <opivy@hotmail.de>
Sat, 11 Mar 2017 20:13:43 +0000 (20:13 +0000)
committerMirio <opivy@hotmail.de>
Sat, 11 Mar 2017 20:13:43 +0000 (20:13 +0000)
commitef5671de723cb8da45238da44d840b863d3ac09e
treefce763e6bb8b42544b54ed4337f8b8d72cd922ed
parente577dd04604ec2fc5ca2eb6ec5c5be2813da7382
parent5ebc53c8ec3b9270c84c08adaefa1dbe3c4f4ee3
Merge branch 'matthiaskrgr/catharsis_opt' into 'master'

catharsis: correct syntax of map options file.

See merge request !70