diff options
| author | Bruce Momjian <bruce@momjian.us> | 2005-12-09 19:19:17 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2005-12-09 19:19:17 +0000 |
| commit | 9c9b9446da2eeec7dcfc2aecb68eef29125b3ad5 (patch) | |
| tree | 0288c3ad410c7e4df33b91cc54ce1e9a744557d8 /doc/src/FAQ/FAQ_DEV.html | |
| parent | a8c53d6207302e5b83ee1ce8dce86c3ca5af31fe (diff) | |
Remove mention that history is _now_ automatically saved on exit. It
has been that way for a long time.
Diffstat (limited to 'doc/src/FAQ/FAQ_DEV.html')
0 files changed, 0 insertions, 0 deletions