if page range is given and % filename syntax is used, name files according to page...
[swftools.git] / doc / Bugs /
drwxr-xr-x   ..
-rw-r--r-- 1297 BadPins.sc