K 10
svn:author
V 6
julian
K 8
svn:date
V 27
1998-05-25T07:41:23.000000Z
K 7
svn:log
V 164
Take the user's "IGNORE_DIVERT" argument from where the user put it
and not from the PCB which HAPPENS to contain the same number most
of the time, but not always.

END