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/view_winm.but | 1 + 1 file changed, 1 insertion(+) (limited to 'app/doc/view_winm.but') diff --git a/app/doc/view_winm.but b/app/doc/view_winm.but index eecb843..47ec17b 100644 --- a/app/doc/view_winm.but +++ b/app/doc/view_winm.but @@ -2,6 +2,7 @@ \# \# The "\u000" command is used to format the output. The command causes a blank line to appear between "bulleted" or "described" items. \# +\cfg{html-local-head}{} \H{viewM} \i{View Menu} -- cgit v1.2.3