[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/1.3.22.1i |
> > 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,
ACK
> why not substitute the __ or >>> with something like
> 1234 or mmmm.
readability
> characters are equivalent, IMHO. My suggestion is 'xxxDEFAULTxxx'.
ACK. will do
Karsten
--
GPG key ID E4071346 @ wwwkeys.pgp.net
E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346