]> git.eshelyaron.com Git - emacs.git/commit
projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ed66f1) | patch
Make it clear what edebug-remove-instrumentation offers
authorLars Ingebrigtsen <larsi@gnus.org>
Sat, 16 Nov 2019 04:27:33 +0000 (05:27 +0100)
committerLars Ingebrigtsen <larsi@gnus.org>
Sat, 16 Nov 2019 04:27:37 +0000 (05:27 +0100)
commita53c5e6474eab1da7f56f35d823c02c4930f1778
tree18f7784393eb547462b294c4feb5c58747c4f2a0tree | snapshot
parent5ed66f10ecae232e1af321913b22fc3ecf0608c7commit | diff
Make it clear what edebug-remove-instrumentation offers

* doc/lispref/edebug.texi (Instrumenting): Reword the description
of the edebug-remove-instrumentation command.
doc/lispref/edebug.texi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.