K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-02-10T06:25:14.000000Z
K 7
svn:log
V 79
Check P_PROFIL flag for profiling rather than pr_scale as it makes more
sense.

END