comparison doc/misc/sem-user.texi @ 110081:e4e62433ed67

Fix previous merge from Gnus trunk.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Wed, 01 Sep 2010 00:18:24 +0000
parents f1266b2f017e
children 376148b31b5e
comparison
equal deleted inserted replaced
110080:92922295b92f 110081:e4e62433ed67