diff man/ses.texi @ 52052:2af83e784537

#
author André Spiegel <spiegel@gnu.org>
date Sat, 26 Jul 2003 13:07:33 +0000
parents c195b419ef52
children 695cf19ef79e
line wrap: on
line diff