diff options
author | Tom Lane | 2005-06-12 15:51:50 +0000 |
---|---|---|
committer | Tom Lane | 2005-06-12 15:51:50 +0000 |
commit | f52a34229b868249409e73365d42cab097a923e9 (patch) | |
tree | c104a4ba655bda15149c57ddc1e18223d89ce29d /doc/FAQ_DEV | |
parent | 294505e2b12a5c9f2ea58ec9a4bfbb3fe7d133f1 (diff) |
Document the --enable-integer-datetimes configure option where the other
configure options are documented. Per Michael Glaesemann.
Diffstat (limited to 'doc/FAQ_DEV')
0 files changed, 0 insertions, 0 deletions