write filenames as len+string, instead of zero terminated string
[swftools.git] / lib / pdf / DummyOutputDev.h
2007-12-09 krammnew output device, for testing purposes