[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.
- Lint in 2012, Akim Demaille, 2012/08/02
- Re: Lint in 2012,
Paul Eggert <=