diff options
| author | Tom Lane | 2007-10-14 17:07:51 +0000 |
|---|---|---|
| committer | Tom Lane | 2007-10-14 17:07:51 +0000 |
| commit | 7cf3ff109d3fa528c2670f828b819874ff842907 (patch) | |
| tree | 2a71bb33d5fcdf4a5d88c2c87a9af0e3e51e99d0 /doc/src | |
| parent | cd8e1f50dd6dca7bc0630416dfdad8b5f2c08477 (diff) | |
make install is supposed to install everything under src/include/,
but it was missing a bunch of recently-added subdirectories.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions