tree 9732f6ba0c9bdd2a5646139be0ebf782259d71b4
parent f8f315de909655e51b404f7c8f76c6639acebc86
author tarendt <tarendt> 1366795455 +0200
committer tarendt <tarendt> 1366795455 +0200

interface 'IHighlighting' added