diff options
| author | jao <jao@gnu.org> | 2022-10-08 20:03:57 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-10-08 20:03:57 +0100 |
| commit | 67984ac8d0ab91e02ef5674c525de0cde8cd24b1 (patch) | |
| tree | 16ba7d7ea8a458c27623efe71783325073eeec45 /doc/repl.texi | |
| parent | b734a239ff9b8fde292e956174fd3356583fc76f (diff) | |
| download | geiser-67984ac8d0ab91e02ef5674c525de0cde8cd24b1.tar.gz geiser-67984ac8d0ab91e02ef5674c525de0cde8cd24b1.tar.bz2 | |
geiser-log clean-ups
- geiser-log: Obsoleting some -p flags and lexical binding
- geiser-eval: Ensuring logs for asynchronous retorts
- geiser-debug: don't bail on no output with errors
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions