Tweak previos change
authorGlenn Morris <rgm@gnu.org>
Sat, 28 Dec 2013 00:48:28 +0000 (16:48 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 28 Dec 2013 00:48:28 +0000 (16:48 -0800)
commit254541300559122771cf4c0449a2b8ff78ab3eb7
tree4e2d1a639530eecaf4b31df864f33ee6187d3fcf
parentc04d52fbc95fd8f5b44a391f1ce5b8224fcd55d8
Tweak previos change
doc/lispref/control.texi