diff man/gnu.texi @ 76577:49bb6dbd4cb9

Mark 2005-12-10 change by Kevin Rodgers as tiny; it was almost completely reverted by Stefan Monnier's 2005-12-21 change.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 19 Mar 2007 18:24:10 +0000
parents 4ad431d8e164
children 4805684e0b00 95d0cdf160ea
line wrap: on
line diff