manual: Sync changes to "org.texi"
commit70b029c6a815320f90c916e0670da51ddd49363e
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 18 Feb 2018 21:48:32 +0000 (18 22:48 +0100)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 18 Feb 2018 21:48:32 +0000 (18 22:48 +0100)
tree8542c3d5e10c5c0d0a162637d28ac6583118a4fc
parent47908228e7ac705b24af75d1934c44cbcfb8bae1
manual: Sync changes to "org.texi"
contrib/manual.org