manual: Sync with org.texi
commitaad62024c9608d1125d038119d5241a25dcf507b
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Mon, 5 Mar 2018 18:26:43 +0000 (5 19:26 +0100)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Mon, 5 Mar 2018 18:26:43 +0000 (5 19:26 +0100)
tree44996d3cd1ae7dccec1164cc4178f0d809b242fa
parentb8e5c232e0f123d48884d407f0a627df5d58aa7f
manual: Sync with org.texi
contrib/manual.org