comparison man/building.texi @ 34452:e381d256c0c2

(Fx_hide_tip): Fix last change.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 11 Dec 2000 21:13:10 +0000
parents 561ef681eab5
children 390058c38d27
comparison
equal deleted inserted replaced
34451:be899eb7b171 34452:e381d256c0c2