comparison doc/misc/sem-user.texi @ 112436:473533159689

Mark tiny change.
author Glenn Morris <rgm@gnu.org>
date Sat, 22 Jan 2011 19:33:59 -0800
parents ef719132ddfa
children
comparison
equal deleted inserted replaced
112435:4889fb6961b2 112436:473533159689