diff man/basic.texi @ 69632:3441de514d62

Fix.
author Simon Josefsson <jas@extundo.com>
date Wed, 22 Mar 2006 16:10:01 +0000
parents 4bb94c09a47d
children ddc3087f4c41 c5406394f567
line wrap: on
line diff