DateStyle config variable

Hi all,

I wondered if there was a reason for the mixed case capitalization of
the DateStyle setting ? all other settings are in lowercase. Even
DateStyle is in lowercase in the postgresql.conf file.

If there's none, here is a patch (CVS HEAD) to put it in lowercase.

Regards.


--
Guillaume.
<!-- http://abs.traduc.org/
     http://lfs.traduc.org/
     http://docs.postgresqlfr.org/ -->