[darcs-users] Re: Preference editor
darcs at davidb.org
Thu Jul 1 06:52:05 UTC 2004
On Wed, Jun 30, 2004 at 06:29:51PM -0700, Samuel A. Falvo II wrote:
> For that matter, I propose we choose a different word than "set" --
> "change" is my recommendation.
I think "change" has too many connotations associated with revision
control, so might be best avoided for something different. I think
"set" is a very good word since it will probably end up in any
description you give of another command.
Gdb uses set and show for settings.
More information about the darcs-users