org.texi (Library of Babel): Tiny fix
commit49ef9d02a21d398764c9779b90d1ffdd089f4e1f
authorBastien <bzg@gnu.org>
Tue, 4 Aug 2015 22:58:24 +0000 (5 00:58 +0200)
committerBastien <bzg@gnu.org>
Tue, 4 Aug 2015 22:58:24 +0000 (5 00:58 +0200)
tree09da269cf3bce8800dea35b721da9d8f194c722c
parent99425a46dd5d91a69ad7555648e12a1abcbcb8ee
org.texi (Library of Babel): Tiny fix

* org.texi (Library of Babel): Tiny fix.

Thanks to Charles Millar for reporting this.
doc/org.texi