Re: [gnome-db] Bug 12795 solved! (po info header in some buttons)
- From: Rodrigo Moya <rodrigo gnome-db org>
- To: Gonzalo Paniagua Javier <gonzalo torresquevedo hispalinux es>
- Cc: Gnome-db list <gnome-db-list gnome org>
- Subject: Re: [gnome-db] Bug 12795 solved! (po info header in some buttons)
- Date: 17 Oct 2001 18:50:18 +0200
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?
cheers
--
Rodrigo Moya <rodrigo gnome-db org> - <rodrigo ximian com>
http://www.gnome-db.org/ - http://www.ximian.com/
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
