diff man/info.texi @ 80705:53c533b1ebb1

(holiday-float): Doc fixes (sync from trunk 2008-04-29).
author Glenn Morris <rgm@gnu.org>
date Sun, 10 Aug 2008 20:07:32 +0000
parents 02b9a9aa5b0c
children
line wrap: on
line diff