diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-10-29 16:15:03 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-10-29 16:15:03 +0100 |
| commit | 8b2d210bded556395191e66f360a5ef35e5e1f8d (patch) | |
| tree | 5270689333a371b518535e802ea73bab4efb7443 /tex/context/interface/keys-de.xml | |
| parent | e4d37ac8b9848292f1af2de118258a093b104cc8 (diff) | |
| download | context-8b2d210bded556395191e66f360a5ef35e5e1f8d.tar.gz | |
2014-10-29 15:23:00
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 b9f6c400b..f70ced334 100644 --- a/tex/context/interface/keys-de.xml +++ b/tex/context/interface/keys-de.xml @@ -305,6 +305,7 @@ <cd:variable name='mirrored' value='gespiegelt'/> <cd:variable name='monday' value='montag'/> <cd:variable name='mono' value='mono'/> + <cd:variable name='monobold' value='monofett'/> <cd:variable name='month' value='monat'/> <cd:variable name='more' value='more'/> <cd:variable name='morehyphenation' value='morehyphenation'/> |