From 16e9630b79f0a7a90c6cedb6781175bb8b337dc1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sat, 29 Apr 2017 12:11:08 +0200 Subject: New upstream version 4.3.0 --- app/doc/optionm.but | 1 + 1 file changed, 1 insertion(+) (limited to 'app/doc/optionm.but') diff --git a/app/doc/optionm.but b/app/doc/optionm.but index e6d49e0..c7f00d9 100644 --- a/app/doc/optionm.but +++ b/app/doc/optionm.but @@ -3,6 +3,7 @@ \# The "\u000" command is used to format the output. The command causes a blank line to appear between "bulleted" or "described" items. \# \# The "\u00B0" command gives proper format to the degree sign. +\cfg{html-local-head}{} \H{optionM}\i{Options Menu} -- cgit v1.2.3