diff options
Diffstat (limited to 'metapost/context/fonts/punkfont-bold.mp')
| -rw-r--r-- | metapost/context/fonts/punkfont-bold.mp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/metapost/context/fonts/punkfont-bold.mp b/metapost/context/fonts/punkfont-bold.mp new file mode 100644 index 000000000..1c62963f9 --- /dev/null +++ b/metapost/context/fonts/punkfont-bold.mp @@ -0,0 +1,4 @@ +boolean bold_punk ; bold_punk := true ; + +input "punkfont-definitions.mp" ; +input "punkfont-characters.mp" ; |