diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-17 19:31:15 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-17 19:31:15 +0200 |
commit | 2017d30b4ca772c8eeac4fc0eb9b54e547a9a1d8 (patch) | |
tree | d96df31f305a095c078ea5fb9f639ca34ac36c12 /metapost/context/fonts | |
parent | 53ff76b73cd1f373ecdfb0f7f17df6f352621d6e (diff) | |
download | context-2017d30b4ca772c8eeac4fc0eb9b54e547a9a1d8.tar.gz |
2016-05-17 19:25:00
Diffstat (limited to 'metapost/context/fonts')
-rw-r--r-- | metapost/context/fonts/mpiv/bidi-symbols.mp (renamed from metapost/context/fonts/bidi-symbols.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/bidi-symbols.tex (renamed from metapost/context/fonts/bidi-symbols.tex) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/demo-symbols.mp (renamed from metapost/context/fonts/demo-symbols.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/demo-symbols.tex (renamed from metapost/context/fonts/demo-symbols.tex) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/punkfont-bold.mp (renamed from metapost/context/fonts/punkfont-bold.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/punkfont-boldslanted.mp (renamed from metapost/context/fonts/punkfont-boldslanted.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/punkfont-characters.mp (renamed from metapost/context/fonts/punkfont-characters.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/punkfont-definitions.mp (renamed from metapost/context/fonts/punkfont-definitions.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/punkfont-slanted.mp (renamed from metapost/context/fonts/punkfont-slanted.mp) | 0 | ||||
-rw-r--r-- | metapost/context/fonts/mpiv/punkfont.mp (renamed from metapost/context/fonts/punkfont.mp) | 0 |
10 files changed, 0 insertions, 0 deletions
diff --git a/metapost/context/fonts/bidi-symbols.mp b/metapost/context/fonts/mpiv/bidi-symbols.mp index abe48b951..abe48b951 100644 --- a/metapost/context/fonts/bidi-symbols.mp +++ b/metapost/context/fonts/mpiv/bidi-symbols.mp diff --git a/metapost/context/fonts/bidi-symbols.tex b/metapost/context/fonts/mpiv/bidi-symbols.tex index ba659ccb7..ba659ccb7 100644 --- a/metapost/context/fonts/bidi-symbols.tex +++ b/metapost/context/fonts/mpiv/bidi-symbols.tex diff --git a/metapost/context/fonts/demo-symbols.mp b/metapost/context/fonts/mpiv/demo-symbols.mp index 822854c94..822854c94 100644 --- a/metapost/context/fonts/demo-symbols.mp +++ b/metapost/context/fonts/mpiv/demo-symbols.mp diff --git a/metapost/context/fonts/demo-symbols.tex b/metapost/context/fonts/mpiv/demo-symbols.tex index e9af4a027..e9af4a027 100644 --- a/metapost/context/fonts/demo-symbols.tex +++ b/metapost/context/fonts/mpiv/demo-symbols.tex diff --git a/metapost/context/fonts/punkfont-bold.mp b/metapost/context/fonts/mpiv/punkfont-bold.mp index 1c62963f9..1c62963f9 100644 --- a/metapost/context/fonts/punkfont-bold.mp +++ b/metapost/context/fonts/mpiv/punkfont-bold.mp diff --git a/metapost/context/fonts/punkfont-boldslanted.mp b/metapost/context/fonts/mpiv/punkfont-boldslanted.mp index 3e5fa1561..3e5fa1561 100644 --- a/metapost/context/fonts/punkfont-boldslanted.mp +++ b/metapost/context/fonts/mpiv/punkfont-boldslanted.mp diff --git a/metapost/context/fonts/punkfont-characters.mp b/metapost/context/fonts/mpiv/punkfont-characters.mp index da0015b02..da0015b02 100644 --- a/metapost/context/fonts/punkfont-characters.mp +++ b/metapost/context/fonts/mpiv/punkfont-characters.mp diff --git a/metapost/context/fonts/punkfont-definitions.mp b/metapost/context/fonts/mpiv/punkfont-definitions.mp index 2901a9d03..2901a9d03 100644 --- a/metapost/context/fonts/punkfont-definitions.mp +++ b/metapost/context/fonts/mpiv/punkfont-definitions.mp diff --git a/metapost/context/fonts/punkfont-slanted.mp b/metapost/context/fonts/mpiv/punkfont-slanted.mp index 5c1ff46b2..5c1ff46b2 100644 --- a/metapost/context/fonts/punkfont-slanted.mp +++ b/metapost/context/fonts/mpiv/punkfont-slanted.mp diff --git a/metapost/context/fonts/punkfont.mp b/metapost/context/fonts/mpiv/punkfont.mp index 2a03aae81..2a03aae81 100644 --- a/metapost/context/fonts/punkfont.mp +++ b/metapost/context/fonts/mpiv/punkfont.mp |