tree dda92fb94ad2af378abdc30074bb9e5f230a9053
parent 20e595b5d7dd738b1c1e74e4cf26b4aee6e2839a
author Marc Kupietz <kupietz@ids-mannheim.de> 1661846363 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1661846363 +0200

Add hint to table head mouse-overs for undocumented results

Change-Id: Ieb71d6bc18ff1127034d10ec49c0f0163579c5e8