Version 2 of file size

Updated 2002-05-16 11:27:34

(nothing here yet, feel free to add)

See "file".