[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gnumed-devel] Re: IMPORTANT change: __default__ as default value !

From: Karsten Hilbert
Subject: Re: [Gnumed-devel] Re: IMPORTANT change: __default__ as default value !
Date: Tue, 6 Jan 2004 23:50:48 +0100
User-agent: Mutt/

> > So, I propose to change '__default__' to '>>>default<<<'.
> > Anyone got any objections ? If I don't hear back by Tuesday
> As special characters usually cause more problems than 'normal'
> letters/numbers,

> why not substitute the __ or >>> with something like
> 1234 or mmmm.

> characters are equivalent, IMHO. My suggestion is 'xxxDEFAULTxxx'.
ACK. will do

GPG key ID E4071346 @
E167 67FD A291 2BEA 73BD  4537 78B9 A9F9 E407 1346

reply via email to

[Prev in Thread] Current Thread [Next in Thread]