help-gnats
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Patch for gnatsweb.pl

From: Yngve Svendsen
Subject: Re: Patch for gnatsweb.pl
Date: Sat, 12 Oct 2002 14:13:16 +0200 
At 09:35 16.09.2002 -0400, Robert Lupton the Good wrote:


(This is my `patch.3a')

This patch prints a header if needed when debug=all statements (this
is sometimes needed)


Thanks. Applied.

- Yngve
reply via email to
[Prev in Thread] Current Thread [Next in Thread]