diff options
author | Vitalie Spinu <spinuvit@gmail.com> | 2018-07-31 16:34:46 +0200 |
---|---|---|
committer | Bozhidar Batsov <bozhidar.batsov@gmail.com> | 2018-07-31 20:50:20 +0300 |
commit | ca4935686b6d9569e6cb50a0650097e38448ac50 (patch) | |
tree | 7d6df26cef56336fb007604fc970977e51dd90d0 /.gitignore | |
parent | ce05c1a02608bb16ae8e1d0de0a2779297c1a7a7 (diff) |
Improve session and REPL buffer naming
- better abbreviation of directory names
- re-create context buffer on every connect instead of
`kill-all-local-variables` which could fail
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions