2 Sep
2007
2 Sep
'07
9:38 a.m.
On Sun, 2007-09-02 at 14:09 +0100, Ross Paterson wrote:
I forgot that the file format includes XXX-options fields, which might be a source of confusion.
Mm, good point. We can't change those of course. What do you think we should do?
I think it argues for --PROG-option(s). The -args options weren't documented, so they didn't exist.
Right. Duncan