diff options
| author | Tom Lane | 2001-02-20 20:37:13 +0000 |
|---|---|---|
| committer | Tom Lane | 2001-02-20 20:37:13 +0000 |
| commit | 5ba0f855d18b450509956eb385ee22a8793cc5e2 (patch) | |
| tree | 3900245071f1c2f161078d46534397da1b77ac82 /src/include/miscadmin.h | |
| parent | 17137d6c5bbe6b04e867c4adf28cde49c9f337df (diff) | |
Clean out any old versions of no-longer-installed header files that may
be lurking in the install target directory. But don't zap up-to-date
headers (so install-all-headers before regular install will work).
Per suggestion from Larry Rosenman.
Diffstat (limited to 'src/include/miscadmin.h')
0 files changed, 0 insertions, 0 deletions