diff options
| author | Tom Lane | 2006-10-05 00:07:45 +0000 |
|---|---|---|
| committer | Tom Lane | 2006-10-05 00:07:45 +0000 |
| commit | 9e6c3582dda50fe1aa639203358864ca6cb2914b (patch) | |
| tree | cf5c2621b332c74cd2aba1ec79213b671dd18856 /doc/FAQ_DEV | |
| parent | 03ea9ecbdacaaea906b26a1525cd4246dde5aec5 (diff) | |
Second try at fixing libedit configuration for Bob Friesenhahn.
Buildfarm results from 'gazelle' show that there are indeed libedit
versions for which history.h is a needed header, even though it's
apparently been dropped entirely in other versions. Grumble.
Diffstat (limited to 'doc/FAQ_DEV')
0 files changed, 0 insertions, 0 deletions