diff man/info.texi @ 39914:91951fb5b9e5

Put doc strings in comments.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 14 Oct 2001 10:36:01 +0000
parents d2d0681907f9
children 4df576b320fb
line wrap: on
line diff