diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 14:35:32 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 14:35:32 +0200 |
| commit | e230b6f78546827521107be23797048482c8b193 (patch) | |
| tree | 948c1e77382c484819ea399bba4edcdc19cc6bf0 /help/es/other-files.page | |
| parent | 211da5fc3048ca2b6ccee2166b0aaaade55cb84f (diff) | |
| parent | 49120f48474fc8fdc2448c75d961bc238213cfac (diff) | |
Update upstream source from tag 'upstream/0.28.2'
Update to upstream version '0.28.2'
with Debian dir 811236a8e9a1308bf427065dcb6270419ff4f965
Diffstat (limited to 'help/es/other-files.page')
| -rw-r--r-- | help/es/other-files.page | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/help/es/other-files.page b/help/es/other-files.page index 19b4008..e6739f1 100644 --- a/help/es/other-files.page +++ b/help/es/other-files.page @@ -66,7 +66,10 @@ </tbody> </table> - <p>Existen otros símbolos disponibles, revise el manual de strftime ejecutando el comando <cmd>man strftime</cmd> si necesita alguno que no esté listado aquí.</p> + <p> + 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> <section id="automatic-import"> |