diff options
author | Marius <mariausol@gmail.com> | 2013-02-20 16:00:32 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-02-20 16:00:32 +0200 |
commit | f6b142ac209f26e0164dd37933dd622251f9564c (patch) | |
tree | 6fbbd540980d99739eda17ba5a31fd6c5b975e5f /tex/context/interface/keys-de.xml | |
parent | 7ccf84871bec62087336980c0578738715f881e6 (diff) | |
download | context-f6b142ac209f26e0164dd37933dd622251f9564c.tar.gz |
beta 2013.02.20 14:35
Diffstat (limited to 'tex/context/interface/keys-de.xml')
-rw-r--r-- | tex/context/interface/keys-de.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tex/context/interface/keys-de.xml b/tex/context/interface/keys-de.xml index db8b98c10..8212bbcee 100644 --- a/tex/context/interface/keys-de.xml +++ b/tex/context/interface/keys-de.xml @@ -805,6 +805,7 @@ <cd:constant name='marking' value='beschriftung'/> <cd:constant name='marstyle' value='beschrstil'/> <cd:constant name='mask' value='mask'/> + <cd:constant name='mathstyle' value='mathstyle'/> <cd:constant name='max' value='max'/> <cd:constant name='maxdepth' value='maxdepth'/> <cd:constant name='maxheight' value='maxhoehe'/> |