summaryrefslogtreecommitdiff
path: root/tex/context/interface/mkii
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2018-09-25 15:11:00 +0200
committerContext Git Mirror Bot <phg@phi-gamma.net>2018-09-25 15:11:00 +0200
commit28f104e641e84d484a22266d87536ef7d765b223 (patch)
tree7ef2cf56cb4345984cb4dc51188aa8f91b7e87fd /tex/context/interface/mkii
parentb7acaab4eb5fb8d6e3a6aa86a86c2b0576bde6ea (diff)
downloadcontext-28f104e641e84d484a22266d87536ef7d765b223.tar.gz
2018-09-25 14:23:00
Diffstat (limited to 'tex/context/interface/mkii')
-rw-r--r--tex/context/interface/mkii/keys-it.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/tex/context/interface/mkii/keys-it.xml b/tex/context/interface/mkii/keys-it.xml
index 913b54e94..6edecb621 100644
--- a/tex/context/interface/mkii/keys-it.xml
+++ b/tex/context/interface/mkii/keys-it.xml
@@ -1247,6 +1247,7 @@
<cd:constant name='textstyle' value='stiletesto'/>
<cd:constant name='textwidth' value='ampiezzatesto'/>
<cd:constant name='threshold' value='threshold'/>
+ <cd:constant name='time' value='time'/>
<cd:constant name='title' value='titolo'/>
<cd:constant name='titlecolor' value='coloretitolo'/>
<cd:constant name='titlecommand' value='titlecommand'/>