diff man/basic.texi @ 31274:b63fdc46cda2

Revert previous change.
author Dave Love <fx@gnu.org>
date Tue, 29 Aug 2000 17:15:31 +0000
parents dddb1bca9704
children 9ab15b2742ba
line wrap: on
line diff