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/geiser.texi | |
| 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/geiser.texi')
0 files changed, 0 insertions, 0 deletions