[Top][All Lists]

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

Re: Lint in 2012

From: Paul Eggert
Subject: Re: Lint in 2012
Date: Thu, 02 Aug 2012 12:43:36 -0700
User-agent: Mozilla/5.0 (X11; Linux i686; rv:14.0) Gecko/20120714 Thunderbird/14.0

On 08/02/2012 04:48 AM, Akim Demaille wrote:
> Do you think this is still needed?

Probably not; I haven't used lint seriously for
decades, and even old-fashioned types must have
stopped using it by now.

reply via email to

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