diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 14:34:32 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 14:34:32 +0200 |
commit | 49120f48474fc8fdc2448c75d961bc238213cfac (patch) | |
tree | 05bcdb95d65a807cf0f1ffffd066c09074b5cf56 /help/C/other-files.page | |
parent | 2492891f112caac6076ce49721d9d5d78a152c3a (diff) |
New upstream version 0.28.2upstream/0.28.2
Diffstat (limited to 'help/C/other-files.page')
-rw-r--r-- | help/C/other-files.page | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/help/C/other-files.page b/help/C/other-files.page index 20bb9f8..9a9bd98 100644 --- a/help/C/other-files.page +++ b/help/C/other-files.page @@ -70,7 +70,7 @@ </table> <p> - There are other symbols available; please check the manual for strftime by running + There are other symbols available; please check the <link href="man:strftime">manual for strftime</link> by running the command <cmd>man strftime</cmd> if you need one that isn't listed here. </p> </section> |