Hi, Cliff. > Regarding lint tools, I know they are useful and valuable but > I find that they are not that commonly used. Reasons: cost & > setup. Even those who use them tend to do so sporadically. I > am not arguing against linting tools, just that we don't pass > everything to the linting tools. I understand that you want to try to protect users who don't use lint tools. I am not against that. I was just saying that the other side of the story is that we don't want to help those at the expense of other users who do use lint tools. Regards, Shalom --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Dec 6 02:22:49 2007
This archive was generated by hypermail 2.1.8 : Thu Dec 06 2007 - 02:23:07 PST