diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-10-17 15:43:08 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-10-17 15:43:08 +0200 |
commit | e5f189d9965a70c8f3043c07c7b07d41ef268e93 (patch) | |
tree | ea192c431e2762fbae01fdd44cb3a48278b06fc0 /tex/context/interface/mkii/keys-fr.xml | |
parent | 9f36318b0e571bcbc93dc2112d01bbf2178ed020 (diff) | |
download | context-e5f189d9965a70c8f3043c07c7b07d41ef268e93.tar.gz |
2018-10-17 15:14:00
Diffstat (limited to 'tex/context/interface/mkii/keys-fr.xml')
-rw-r--r-- | tex/context/interface/mkii/keys-fr.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tex/context/interface/mkii/keys-fr.xml b/tex/context/interface/mkii/keys-fr.xml index 5ab324b97..c5da3adca 100644 --- a/tex/context/interface/mkii/keys-fr.xml +++ b/tex/context/interface/mkii/keys-fr.xml @@ -1247,6 +1247,7 @@ <cd:constant name='textstyle' value='styletexte'/> <cd:constant name='textwidth' value='largeurtexte'/> <cd:constant name='threshold' value='threshold'/> + <cd:constant name='time' value='time'/> <cd:constant name='title' value='titre'/> <cd:constant name='titlecolor' value='couleurtitre'/> <cd:constant name='titlecommand' value='titlecommand'/> |