Re: ! in Dired--what was the outcome?

[Reinhard Kotucha]

>>>>> "David" == David Kastrup <address@hidden> writes:

    > If you really need {}, you can quote one
    > of the two characters, like '{'} or {\}.

I'd prefer to force people to quote both braces, for example '{}' or
\{\}.  Otherwise syntax checkers have to know that there is something
special.  But I agree with you that braces should be quoted if
necessary. 

Regards,
  Reinhard

-- 
----------------------------------------------------------------------------
Reinhard Kotucha                                      Phone: +49-511-4592165
Marschnerstr. 25
D-30167 Hannover                              mailto:address@hidden
----------------------------------------------------------------------------
Microsoft isn't the answer. Microsoft is the question, and the answer is NO.
----------------------------------------------------------------------------