diff man/basic.texi @ 71873:0048306da39e

simplify last fix.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 13 Jul 2006 14:45:10 +0000
parents 542cd4440e5f
children c7e4f78b81a6 a8190f7e546e
line wrap: on
line diff