K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1995-08-26T18:36:27.000000Z
K 7
svn:log
V 115
Make the play-pen searching routine even more agile in trying
to create a /usr/tmp dir if it makes sense to do so.

END