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

[Leuven, E.]

Enrico wrote:
>> Edwin Leuven wrote:
>> btw, is there something like diffstat for windozers like me?
>
> No, only linux wannabes can have it ;-)

ah well, at least we have word ;-)