set FONT_INTERNAL_SIZE to 4.
[swftools.git] / doc / Bugs /
drwxr-xr-x   ..
-rw-r--r-- 1297 BadPins.sc