Changeset 34708

Timestamp:

Jul 24, 2006, 8:58:39 PM (16 years ago)

Author:

Gennaro Prota

Message:

(merge from head)
possibly avoid misleading language when talking about headers ("included" -> "including"); removed some blank lines

(No files)