diff man/building.texi @ 43527:d51d403fd80a

(save-match-data): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 25 Feb 2002 17:41:49 +0000
parents 88bbfdf9451e
children c5ea7e769ffd
line wrap: on
line diff