| commit | b6729a180f4b81ac26bd7b61f5330643b2d5e994 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Wed, 21 Nov 2012 01:52:03 +0000 (20 20:52 -0500) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Wed, 21 Nov 2012 01:52:03 +0000 (20 20:52 -0500) | ||
| tree | 7601c6f535547bd214c73dd0ce68ab0a1fcf79c8 | treesnapshot (tar.gz zip) |
| parent | 38a2f91778682f903416137d36bab29251dd1db2 | commitdiff |
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.
* doc/lispref/debugging.texi (Profiling):
Add some basic information about the profile report buffer.
(Debugging): Mention profiling in the introduction.
| doc/lispref/ChangeLog | diffblobblamehistory | |
| doc/lispref/debugging.texi | diffblobblamehistory |