diff man/ses.texi @ 49442:20d2231b6ee7

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 25 Jan 2003 19:47:02 +0000
parents 0a70200bde27
children c195b419ef52 d7ddb3e565de
line wrap: on
line diff