edebug.texi (Instrumenting): Improve indexing.
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Sep 2012 13:24:58 +0000 (16:24 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Sep 2012 13:24:58 +0000 (16:24 +0300)
commit287d74553b1116a8e3e97e399e231c0423429aca
tree3d94892e38d56ac8a3d6e690f67094ad282eda89
parentdf9685f3961022245b9ab73b62023aa573862001
edebug.texi (Instrumenting): Improve indexing.
doc/lispref/ChangeLog
doc/lispref/edebug.texi