On 2007-12-08T15:12:47, Alan Robertson <[EMAIL PROTECTED]> wrote:
>> This may be preferable to needing to duplicate this in home-grown
>> fashion. A lint-like tool is still a good idea, but it should be build
>> on top of this, IMHO.
> /me redirects this whining into /dev/null
I'm not whining.
I have explained what I'd prefer and believe to be more
consistent with the overall design, admitted that the DTD is
insufficient and needs a more powerful replacement; and it was meant as
a general request for comments as to what other people think.
Regards,
Lars
--
Teamlead Kernel, SuSE Labs, Research and Development
SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg)
"Experience is the name everyone gives to their mistakes." -- Oscar Wilde
_______________________________________________________
Linux-HA-Dev: Linux-HA-Dev@lists.linux-ha.org
http://lists.linux-ha.org/mailman/listinfo/linux-ha-dev
Home Page: http://linux-ha.org/
