K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1998-01-23T07:53:44.000000Z
K 7
svn:log
V 156
In !dists case, invoke the custom dist menu rather than the toplevel
dist menu.  This makes a good deal more sense and should have been
this way all along.

END