Re: [gnome-db] Bug 12795 solved! (po info header in some buttons)

On Tue, 2001-10-16 at 18:18, Gonzalo Paniagua Javier wrote:
> 	Well, here's a patch to solve bug #12795. May be there's a more
> 	sofisticated way but this one works fine.
well, I don't know if there's a more sophisitcated way, but I'm sure
there's no easiest way :-)

Could somebody with CVS access (Carlos, please) commit this patch?

Rodrigo Moya <rodrigo gnome-db org> - <rodrigo ximian com> -

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