diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2020-05-28 09:58:53 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2020-05-28 09:58:53 +0300 |
| commit | f3fb34dd99dbbb3b5974326311117bf6a7e1d229 (patch) | |
| tree | 11ac11ede8f03ec11dc6d7fe5ef68bcdc2bfeb00 /config | |
| parent | d8d6efc4ec8e368d4eb6c6dcb797f2b9755cead4 (diff) | |
more conservative instant prompt activation and cleanup on premature shell exit; see #770
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions