diff options
Diffstat (limited to 'metapost/context/font/punkfont-boldslanted.mp')
-rw-r--r-- | metapost/context/font/punkfont-boldslanted.mp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/metapost/context/font/punkfont-boldslanted.mp b/metapost/context/font/punkfont-boldslanted.mp deleted file mode 100644 index 3e5fa1561..000000000 --- a/metapost/context/font/punkfont-boldslanted.mp +++ /dev/null @@ -1,5 +0,0 @@ -boolean bold_punk ; bold_punk := true ; -boolean slanted_punk ; slanted_punk := true ; - -input "punkfont-definitions.mp" ; -input "punkfont-characters.mp" ; |