diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-11-20 20:52:03 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-11-20 20:52:03 -0500 |
| commit | b6729a180f4b81ac26bd7b61f5330643b2d5e994 (patch) | |
| tree | 7601c6f535547bd214c73dd0ce68ab0a1fcf79c8 /doc/lispref/os.texi | |
| parent | 38a2f91778682f903416137d36bab29251dd1db2 (diff) | |
| download | emacs-b6729a180f4b81ac26bd7b61f5330643b2d5e994.tar.gz | |
Add a bit more about profiling to the lispref
* doc/lispref/debugging.texi (Profiling):
Add some basic information about the profile report buffer.
(Debugging): Mention profiling in the introduction.
Diffstat (limited to 'doc/lispref/os.texi')
0 files changed, 0 insertions, 0 deletions