diff options
| author | jao <jao@gnu.org> | 2022-10-21 03:36:56 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-10-21 03:36:56 +0100 |
| commit | 5bf62132e676e098ab7ab6332fede2ead8328074 (patch) | |
| tree | 0e481beb1293cd8c6d9cca58a24124d69dd9301d /doc/repl.texi | |
| parent | 5b6d8202dd8b07dc4e83ff1040a8de9f0d2b02cb (diff) | |
| download | geiser-5bf62132e676e098ab7ab6332fede2ead8328074.tar.gz geiser-5bf62132e676e098ab7ab6332fede2ead8328074.tar.bz2 | |
debug: accept debug msg of any type (e.g., a list with location info)
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions