Next: Usage Up: size Previous: size

Purpose

Extract the size of a sequence, and print it to stdout

tranden@hsr.no
Fri Sep 16 11:30:04 METDST 1994