K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1983-08-23T11:44:45.000000Z
K 24
svn:entry:committed-date
V 27
1983-08-23T11:44:45.000000Z
K 7
svn:log
V 28
turn off profiling at exec


END
