diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-07-09 12:10:38 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-07-09 12:10:38 +0200 |
| commit | 709e2d6f5652ec90c194a4ec2b530bebc6f952cb (patch) | |
| tree | 496b2f3899e1d5728ee9ae76095cc5056c317447 /help/C/other-files.page | |
| parent | f1353e9ffd34db5f755c7da0b3f9c10638fbfd38 (diff) | |
| parent | 5c8be07095cc04a6d8a95204b0504fd7ab030154 (diff) | |
Merge branch 'release/0.28.3-1'0.28.3-1
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> |