[GNUnet-SVN] [gnunet] branch master updated: ++

[gnunet]

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

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new b91002ea1 ++
b91002ea1 is described below

commit b91002ea10d9770da6b2d97edf28e896c01e0edf
Author: Nils Gillmann <address@hidden>
AuthorDate: Wed May 2 15:25:44 2018 +0000

    ++
    
    Signed-off-by: Nils Gillmann <address@hidden>
---
 doc/documentation/gnunet.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 4762f119a..2cd72373b 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -72,6 +72,7 @@ This document is the Reference Manual for GNUnet version 
@value{VERSION}.
 
 @menu
 
+* Terminology::                     Terminology used throughout the Manual
 * Philosophy::                      About GNUnet
 @c * Vocabulary::                      Vocabulary
 * GNUnet Installation Handbook::    How to install GNUnet
@@ -87,7 +88,7 @@ This document is the Reference Manual for GNUnet version 
@value{VERSION}.
 @detailmenu
  --- The Detailed Node Listing ---
 
-Terminology and Typography
+Terminology
 
 * General Terminology::
 * Typography::

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