Add unique index on pg_cast.oid, and document pg_cast table.

Peter Eisentraut <peter_e@gmx.net>

Commit: e9c013f4bddd953df03be74177a37016d1e22b96
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2002-07-22T20:23:19Z
Releases: 7.3.1
Add unique index on pg_cast.oid, and document pg_cast table.

Files