Two very minor fixes for Greenplum:
1. If html help is available (GPDB 3.3.0 and later), prefer it to the .PDF help. 2. If we can't find local GPDB help, go to Greenplum web site for it.
bugfix.diff
Description: bugfix.diff
-- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
