HANDBOOK: Minor updates
authorSchanzenbach, Martin <mschanzenbach@posteo.de>
Wed, 14 Nov 2018 07:40:31 +0000 (08:40 +0100)
committerSchanzenbach, Martin <mschanzenbach@posteo.de>
Wed, 14 Nov 2018 07:40:31 +0000 (08:40 +0100)
commit291828d5f645106866ef5dbcef847672f6fa47ba
treec4f3a128dae2a1465ebcc7aa2fb563d8eea34a5d
parentc30a518e58479c6ffc5e634db3624f5e82e25f1d
HANDBOOK: Minor updates
doc/handbook/chapters/user.texi