diff doc/misc/ses.texi @ 94785:e1b43041fd45

Fix typo.
author Glenn Morris <rgm@gnu.org>
date Fri, 09 May 2008 04:29:16 +0000
parents 5d58981e6690
children 18f302f2078f
line wrap: on
line diff