July 31, 2008
11:14 p.m.
On Thu, Jul 31, 2008 at 7:08 PM, Christopher Burns <cburns@berkeley.edu>wrote:
Do you mean add a file on the Wiki or in the source tree somewhere?
Either or both-- so long as there is a convenient place to find them. I suppose a Wiki page would be most flexible, since it could be expanded to discuss deeper packaging issues. Thanks, -Kevin