Default scan format: Added leading zeros, which I've forgotten.
[mmh] / man / flist.man1
2011-12-23 markus schnalkeReworked the man page system and some man page contents...