diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-12 08:14:15 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-12 08:14:15 +0200 |
commit | 83222078cd1f2f9d2c12279653c48dfd70390f1c (patch) | |
tree | 9203c42487d7c5671db8b124571e713ab8397f14 /metapost/context/fonts | |
parent | 4fac60d85ade0f051d411be40d5502f360a28402 (diff) | |
download | context-83222078cd1f2f9d2c12279653c48dfd70390f1c.tar.gz |
2014-05-08 11:19:00
Diffstat (limited to 'metapost/context/fonts')
-rw-r--r-- | metapost/context/fonts/bidi-symbols.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/metapost/context/fonts/bidi-symbols.tex b/metapost/context/fonts/bidi-symbols.tex index 24f883b3d..ba659ccb7 100644 --- a/metapost/context/fonts/bidi-symbols.tex +++ b/metapost/context/fonts/bidi-symbols.tex @@ -30,3 +30,4 @@ \getbuffer \blank \stoptext + |