| commit | 38a2f91778682f903416137d36bab29251dd1db2 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Wed, 21 Nov 2012 01:32:09 +0000 (20 20:32 -0500) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Wed, 21 Nov 2012 01:32:09 +0000 (20 20:32 -0500) | ||
| tree | 02efa86506cc8d8a5b4bcbc9356640a60f5b039e | treesnapshot (tar.gz zip) |
| parent | 1b3b7caa0c1fd99dada144640d7fdaad2b06081b | commitdiff |
* doc/lispref/debugging.texi (Profiling) [!tex]: Mention --enable-profiling.
| doc/lispref/ChangeLog | diffblobblamehistory | |
| doc/lispref/debugging.texi | diffblobblamehistory |