K 10
svn:author
V 3
sjg
K 8
svn:date
V 27
2013-01-23T00:47:43.589199Z
K 7
svn:log
V 107
If PROGNAME is set, we need to use stage_as rather than stage_files
to control the name in the stage tree.

END