diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-04-29 12:11:35 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-04-29 12:11:35 +0200 |
commit | dcef13a23c06398c0c9b3145c08b28d1110bc169 (patch) | |
tree | df8d3227b3d71fdd356b3c1e69c62533d1759f72 /app/doc/editm.but | |
parent | 3e11d9c0e6173fce8a482efed8d7f965e8bd6dfa (diff) | |
parent | 16e9630b79f0a7a90c6cedb6781175bb8b337dc1 (diff) |
Merge tag 'upstream/4.3.0'
Upstream version 4.3.0
Diffstat (limited to 'app/doc/editm.but')
-rw-r--r-- | app/doc/editm.but | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/doc/editm.but b/app/doc/editm.but index 9572172..f31b6d6 100644 --- a/app/doc/editm.but +++ b/app/doc/editm.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}{<meta name="AppleTitle" content="Edit Menu" />} \H{editM}\i{Edit Menu} |