diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/bbm/mfbatch.batch')
-rw-r--r-- | Master/texmf-dist/doc/fonts/bbm/mfbatch.batch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch b/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch index 6989d63bee0..b3523523bcd 100644 --- a/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch +++ b/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch @@ -1,3 +1,7 @@ +# Copyright 1993 Gilles F. Robert. +# You may freely use, modify and/or distribute this file. +# This statement added 2008/11/14 by Clea F. Rees on the basis of the email exchange archived at http://lists.debian.org/debian-tex-maint/2008/05/msg00040.html. +# mf "\mode=localfont; scrollmode; input bbm10" mf "\mode=localfont; scrollmode; input bbm12" mf "\mode=localfont; scrollmode; input bbm17" |