commit | 92af3766ecc456bd8ade8fe5746d27f4557fdaa8 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Jul 20 15:50:04 2015 +0000 |
committer | nicm <nicm> | Mon Jul 20 15:50:04 2015 +0000 |
tree | 371174df95c9f8b2bd7e515505325853c88040d0 | |
parent | d4ce210713cc907fc69497c51cf9b64d2f414ca4 [diff] |
Add an option (history-file) for a file to save/restore command prompt history, from Olof-Joachim Frahm.