Walter Bright:

I'd also prefer to get rid of /+ +/ comments, I thought they'd be more useful than they are.

I prefer to get rid of /* */ instead :-) Because /++/ can do things /**/ can't.

Bye,
bearophile

Reply via email to