Alfonso Eusebio 54108f6fd3 Remove obsolete Hyperlink Bar from help ...

Removed all stuff related to hyperlink bar from help.

2011-02-11 19:05:24 +01:00

..

auxiliary

Munge font preferences

2010-11-03 13:37:35 +02:00

text

Remove obsolete Hyperlink Bar from help

2011-02-11 19:05:24 +01:00