Re: Should we kill off the headers in Tools>Preferences?

[Enrico Forestieri]

On Thu, Aug 30, 2007 at 10:25:02PM +0200, Edwin Leuven wrote:

> btw, is there something like diffstat for windozers like me?

No, only linux wannabes can have it ;-)

-- 
Enrico