DecodeTrace: Remove hide_hover_annotation() as it's only used once
authorSoeren Apel <soeren@apelpie.net>
Sun, 7 Dec 2014 16:29:02 +0000 (17:29 +0100)
committerUwe Hermann <uwe@hermann-uwe.de>
Wed, 10 Dec 2014 17:06:16 +0000 (18:06 +0100)

No differences found