Fix previous change
authorGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 16:59:24 +0000 (08:59 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 7 Jan 2014 16:59:24 +0000 (08:59 -0800)
commit6f66f53f650ef7533562e8e81aae044c496eb584
tree001f61246a86f23fc1b0aa116e2ac131394bd383
parentcfdaa1500664e65a158805d35638c277f9489a39
Fix previous change
doc/misc/org.texi