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)
catharsis: correct syntax of map options file.

See merge request !70


Trivial merge