diff man/ses.texi @ 51625:896d9b83eab5

Entry that should have been made last month.
author Glenn Morris <rgm@gnu.org>
date Fri, 20 Jun 2003 10:14:31 +0000
parents 0a70200bde27
children c195b419ef52 d7ddb3e565de
line wrap: on
line diff