diff man/basic.texi @ 33547:1a45cc116462

#
author André Spiegel <spiegel@gnu.org>
date Thu, 16 Nov 2000 13:55:30 +0000
parents 797566a752f7
children 82d0163f6fb7
line wrap: on
line diff