diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2009-08-24 16:18:25 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2009-08-24 16:18:25 +0000 |
| commit | b040178c11ec50704fc4fd420bce188cd4f340a7 (patch) | |
| tree | 54871e8db854f24fb4f50ce58a734c861e222d69 /doc/src/FAQ/FAQ_DEV.html | |
| parent | f57d5b7b4bafeac0dac377f8824e4d99547f327c (diff) | |
Fix inclusions of readline/editline header files so that we only attempt to
#include the version of history.h that is in the same directory as the
readline.h we are using. This avoids problems in some scenarios where both
readline and editline are installed. Report and patch by Zdenek Kotala.
Diffstat (limited to 'doc/src/FAQ/FAQ_DEV.html')
0 files changed, 0 insertions, 0 deletions