[GNUnet-SVN] [gnunet] 07/14: Merge branch 'master' of ssh://gnunet.org/gnunet

[gnunet]

This is an automated email from the git hooks/post-receive script.

xrs pushed a commit to branch master
in repository gnunet.

commit a12143a397a56eb061f8c8b9f25d19887f7b246b
Merge: 92b6a83e9 b658d1a11
Author: xrs <address@hidden>
AuthorDate: Sun Oct 29 11:13:02 2017 +0100

    Merge branch 'master' of ssh://gnunet.org/gnunet

 doc/documentation/chapters/developer.texi    | 188 +++++++++++++++------------
 doc/documentation/chapters/installation.texi |  22 ++--
 doc/documentation/chapters/user.texi         |  85 ++++++------
 doc/documentation/gnunet-c-tutorial.texi     |  76 +++++++----
 doc/documentation/htmlxref.cnf               |   2 +-
 5 files changed, 211 insertions(+), 162 deletions(-)

-- 
To stop receiving notification emails like this one, please contact
address@hidden