Re: [pgadmin-hackers] Replacing developer.pgadmin.org

2011-05-20 Thread Dave Page
On Fri, May 20, 2011 at 8:44 PM, Guillaume Lelarge wrote: > Le 05/20/2011 10:06 PM, Dave Page a écrit : >> Hi Hackers, >> >> We're going to be replacing developer.pgadmin.org. Of those of you >> with accounts on the current box, can you please let me know how often >> you use it, and what you use

Re: [pgadmin-hackers] Replacing developer.pgadmin.org

2011-05-20 Thread Dave Page
2011/5/20 Devrim GÜNDÜZ : > On Fri, 2011-05-20 at 20:06 +, Dave Page wrote: >> >> We're going to be replacing developer.pgadmin.org. Of those of you >> with accounts on the current box, can you please let me know how often >> you use it, and what you use it for? > > I used to upload RPMs, but I

Re: [pgadmin-hackers] Replacing developer.pgadmin.org

2011-05-20 Thread Guillaume Lelarge
Le 05/20/2011 10:06 PM, Dave Page a écrit : > Hi Hackers, > > We're going to be replacing developer.pgadmin.org. Of those of you > with accounts on the current box, can you please let me know how often > you use it, and what you use it for? > I use it to copy the visual tour on the wwwdevel webs

Re: [pgadmin-hackers] Replacing developer.pgadmin.org

2011-05-20 Thread Devrim GÜNDÜZ
On Fri, 2011-05-20 at 20:06 +, Dave Page wrote: > > We're going to be replacing developer.pgadmin.org. Of those of you > with accounts on the current box, can you please let me know how often > you use it, and what you use it for? I used to upload RPMs, but I don't do it anymore. Regards, -

[pgadmin-hackers] Replacing developer.pgadmin.org

2011-05-20 Thread Dave Page
Hi Hackers, We're going to be replacing developer.pgadmin.org. Of those of you with accounts on the current box, can you please let me know how often you use it, and what you use it for? Thanks. -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterp