* doc/misc/cl.texi (Blocks and Exits): Tweak earlier change.
authorGlenn Morris <rgm@gnu.org>
Mon, 3 Feb 2014 07:26:59 +0000 (23:26 -0800)
committerGlenn Morris <rgm@gnu.org>
Mon, 3 Feb 2014 07:26:59 +0000 (23:26 -0800)
commitce0ef8febf40acb27f86e57ac82c7409d13d21ab
treebb7a83ced63692f6b20dce6226d49b16f0f7cf9b
parent34baf96c314da0822f854dc237ea4931fcb7e87d
* doc/misc/cl.texi (Blocks and Exits): Tweak earlier change.
doc/misc/cl.texi