tree 25d68925a051c7dd63b16baf8fbd12676dd5dc0c
parent 71814d48a923c5a6fa5a7ec51a196e366a6dcc37
author Markus Keller <mkeller> 1335541555 +0200
committer Markus Keller <mkeller> 1335541972 +0200

F2 should not try to enrich hovers that don't want to be enriched.