K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1985-01-18T11:43:04.000000Z
K 24
svn:entry:committed-date
V 27
1985-01-18T11:43:04.000000Z
K 7
svn:log
V 148
change badaddr so it can work after autoconfig; use ipl HIGH consistenly,
use HIGH ipl in resume to avoid rei problems if ipl 31 is used elsewhere


END
