diff options
| author | jao <jao@gnu.org> | 2021-12-18 21:03:34 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-12-18 21:03:34 +0000 |
| commit | 476897e4f8a101d808ee0a0a97cc98a46d079af6 (patch) | |
| tree | 24c30aefdafbbc732e41e6c5786c7f79d1aac4ec /.gitignore | |
| parent | 365764db5e3e07042f83d120595421770db771b2 (diff) | |
| download | geiser-476897e4f8a101d808ee0a0a97cc98a46d079af6.tar.gz geiser-476897e4f8a101d808ee0a0a97cc98a46d079af6.tar.bz2 | |
new geiser-repl-per-project-p to control per-project REPLs
And we still need some fixes here when that's active, specifically for
the case when you travel to a file outside the current project: it
becomes repeless, which is a sad state.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions