Dave Page wrote:

I think share/doc/lang_country in parallel with share/ui/lang_country.

pgAdmin will now try to locate a doc version that fits the language settings, and will fall back to en_US.
The options setting is removed.


---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]

Reply via email to