diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-10-10 21:09:32 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-10-10 21:09:32 +0200 |
commit | 9f36318b0e571bcbc93dc2112d01bbf2178ed020 (patch) | |
tree | d6b075357717f7fde0bdf73aa364dbbca5417c50 /tex/context/interface/mkii/keys-en.xml | |
parent | 753dd0cbafc567d4960c5fc4888ccb4e2302c64d (diff) | |
download | context-9f36318b0e571bcbc93dc2112d01bbf2178ed020.tar.gz |
2018-10-08 17:52:00
Diffstat (limited to 'tex/context/interface/mkii/keys-en.xml')
-rw-r--r-- | tex/context/interface/mkii/keys-en.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tex/context/interface/mkii/keys-en.xml b/tex/context/interface/mkii/keys-en.xml index e948cda23..a0a302d34 100644 --- a/tex/context/interface/mkii/keys-en.xml +++ b/tex/context/interface/mkii/keys-en.xml @@ -1247,6 +1247,7 @@ <cd:constant name='textstyle' value='textstyle'/> <cd:constant name='textwidth' value='textwidth'/> <cd:constant name='threshold' value='threshold'/> + <cd:constant name='time' value='time'/> <cd:constant name='title' value='title'/> <cd:constant name='titlecolor' value='titlecolor'/> <cd:constant name='titlecommand' value='titlecommand'/> |