[GNUnet-SVN] [gnunet] 56/75: -Merge branch 'master' of ssh://gnunet.org/gnunet into gsoc2018/rest_api

[gnunet]

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

martin-schanzenbach pushed a commit to branch master
in repository gnunet.

commit 8b89bb8b02c8949f3c74ad0668107d184aaa3788
Merge: 6efdf4094 efc19a03f
Author: Phil <address@hidden>
AuthorDate: Tue Jul 3 10:47:52 2018 +0200

    -Merge branch 'master' of ssh://gnunet.org/gnunet into gsoc2018/rest_api

 doc/documentation/chapters/contributing.texi | 19 +++++++++++++++++++
 doc/documentation/chapters/developer.texi    | 13 ++++++++++---
 doc/documentation/chapters/installation.texi |  8 ++++----
 doc/documentation/gnunet.texi                |  1 +
 4 files changed, 34 insertions(+), 7 deletions(-)

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