diff options
| author | Bruce Momjian <bruce@momjian.us> | 2003-09-29 04:20:22 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2003-09-29 04:20:22 +0000 |
| commit | f7fca96366bc9db9771c14c7b71f5f750085f389 (patch) | |
| tree | b739feb11ff9dfbe3055f2a1758376451fecab5c /doc/src/FAQ/FAQ_DEV.html | |
| parent | 3e4b208285f6ffd9a1f6db4eb4c1b61b80e2a349 (diff) | |
Fix #error message to mention renamed option --disable-spinlocks.
Diffstat (limited to 'doc/src/FAQ/FAQ_DEV.html')
0 files changed, 0 insertions, 0 deletions