Hannes Körber a123c40a27 Fix wrong deletion of mapping separator.

2016-03-07 16:05:36 +01:00

..

setup.bash

Fix wrong deletion of mapping separator.

2016-03-07 16:05:36 +01:00