diff options
author | jao <jao@gnu.org> | 2022-10-21 03:36:16 +0100 |
---|---|---|
committer | jao <jao@gnu.org> | 2022-10-21 03:36:50 +0100 |
commit | 5b6d8202dd8b07dc4e83ff1040a8de9f0d2b02cb (patch) | |
tree | 2df0891bc56acf85791e5b90a104bc64bf0b12e3 /doc/img/repl-menu.png | |
parent | 2174f90b64343c1af76c8e5469d5e4b69d709c08 (diff) | |
download | geiser-5b6d8202dd8b07dc4e83ff1040a8de9f0d2b02cb.tar.gz geiser-5b6d8202dd8b07dc4e83ff1040a8de9f0d2b02cb.tar.bz2 |
geiser-debug--debugger-active-p -> geiser-debug--debugger-active
Diffstat (limited to 'doc/img/repl-menu.png')
0 files changed, 0 insertions, 0 deletions