?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: fe7c712) | patch
(Compilation Mode): Remove paragraph duplicated from the node `Compilation'.
commitd938fad208243b952b66ef948a102bb14c54ae66
authorJuri Linkov <juri@jurta.org>
Sun, 20 Nov 2005 07:55:58 +0000 (20 07:55 +0000)
committerJuri Linkov <juri@jurta.org>
Sun, 20 Nov 2005 07:55:58 +0000 (20 07:55 +0000)
treeb01872df2be93642f72687673f228a9badd25d55tree | snapshot (tar.gz zip)
parentfe7c712ea4448f9799bf9ce60a99cb29f56948e8commit | diff
(Compilation Mode): Remove paragraph duplicated from the node `Compilation'.
Add `compilation-skip-threshold'.
man/building.texi diff | blob | blame | history
Emacs repository mirror