Обсуждение: Options dialogue docs

Hi Guillaume

Someone just pointed out to me that the pgAdmin docs for the Options
dialogue weren't updated when the dialogue was redesigned. Did a
commit get missed there, or was that an oversight?

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company