diff options
| author | nicm <nicm> | 2015-07-20 15:50:04 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2015-07-20 15:50:04 +0000 |
| commit | 92af3766ecc456bd8ade8fe5746d27f4557fdaa8 (patch) | |
| tree | 371174df95c9f8b2bd7e515505325853c88040d0 /cmd-set-option.c | |
| parent | d4ce210713cc907fc69497c51cf9b64d2f414ca4 (diff) | |
Add an option (history-file) for a file to save/restore command prompt
history, from Olof-Joachim Frahm.
Diffstat (limited to 'cmd-set-option.c')
0 files changed, 0 insertions, 0 deletions