tree 3e08ebefe6b141cdd57a16279682d6883dcc5f3b
parent b4b53cafc5b60115b59839f0b331baf91a60d291
author Marc Kupietz <kupietz@ids-mannheim.de> 1516893507 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1516893507 +0100

derekovecs: adjust column heads when collocator tab is shown