diff options
Diffstat (limited to 'support/rtflatex/mf/dcossi12.mf')
-rw-r--r-- | support/rtflatex/mf/dcossi12.mf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/rtflatex/mf/dcossi12.mf b/support/rtflatex/mf/dcossi12.mf new file mode 100644 index 0000000000..2103148d58 --- /dev/null +++ b/support/rtflatex/mf/dcossi12.mf @@ -0,0 +1,6 @@ +% This is dcssi12.mf in text format as of June, 22, 1992 +if unknown dxbase: input dxbase fi; + + +gensize:=12; +generate dcossi |