[m-rev.] for review: all --search-all option

[Ralph Becket]

Peter Wang, Wednesday, 20 September 2006:
> How about --search-all-files-directory, with the usual -dir alias, to
> follow the existing pattern?

"--generic-search-dir"?
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------