diff info/dir @ 67041:4cce2bac0f79

(Compilation Mode): Remove paragraph duplicated from the node `Compilation'. Add `compilation-skip-threshold'.
author Juri Linkov <juri@jurta.org>
date Sun, 20 Nov 2005 07:55:58 +0000
parents 42e9220a8c60
children 559124ef70c9 fa0da9b57058
line wrap: on
line diff