diff options
| author | Robert Haas <rhaas@postgresql.org> | 2011-04-14 11:35:41 -0700 |
|---|---|---|
| committer | Robert Haas <rhaas@postgresql.org> | 2011-04-14 11:35:41 -0700 |
| commit | 07e58cbe19d78027eec8fd3e414220903b125c97 (patch) | |
| tree | f031176d981b228d06b9f076baeadb55783fd876 /src/include/commands/portalcmds.h | |
| parent | 0c80b57d0775eb2015b7672fd8b20c63846d2a0d (diff) | |
Advise Debian/Ubuntu users to use openjade1.3.
The latest openjade packages for Ubuntu 10.10 seg fault when building
our documentation.
Josh Berkus
Diffstat (limited to 'src/include/commands/portalcmds.h')
0 files changed, 0 insertions, 0 deletions