manually added a space character to the font, and trimmed it's height.
[swftools.git] / pdf2swf / encodings.cc
2002-05-27 krammthis encoding table from xpdf 0.92 is needed by swfoutput.