tree c30ec413a25bc66fbb863edf1668f59c776fd438
parent fc0a54c7343a967a39da67e00586ea333d962e39
author tarendt <tarendt> 1366811846 +0200
committer tarendt <tarendt> 1366811846 +0200

bugs in highlighting fixed