diff options
| author | ng0 <ng0@n0.is> | 2019-03-15 13:10:42 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-03-15 13:10:42 +0000 |
| commit | e28dd0836c6ebae43a5b28320e131c921f13ab6e (patch) | |
| tree | 12d6421811e3c6bf60b140c387d9fe24e5c5f5f3 | |
| parent | 779592b29d8ae80da5168c8512cd24d2f8a8b811 (diff) | |
| download | gnunet-e28dd0836c6ebae43a5b28320e131c921f13ab6e.tar.gz gnunet-e28dd0836c6ebae43a5b28320e131c921f13ab6e.zip | |
index page, forgot to commit this spacing change
| -rw-r--r-- | doc/handbook/gnunet.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/handbook/gnunet.texi b/doc/handbook/gnunet.texi index a622c8f49..75a9f1f2b 100644 --- a/doc/handbook/gnunet.texi +++ b/doc/handbook/gnunet.texi | |||
| @@ -72,11 +72,11 @@ This document is the Reference Manual for GNUnet version @value{VERSION}. | |||
| 72 | 72 | ||
| 73 | @menu | 73 | @menu |
| 74 | 74 | ||
| 75 | * Preface:: Chapter 0 | 75 | * Preface:: Preface |
| 76 | * Philosophy:: About GNUnet | 76 | * Philosophy:: About GNUnet |
| 77 | * Key Concepts:: Key concepts of GNUnet | 77 | * Key Concepts:: Key concepts of GNUnet |
| 78 | @c * Vocabulary:: Vocabulary | 78 | @c * Vocabulary:: Vocabulary |
| 79 | * Installing GNUnet:: Installing GNUnet | 79 | * Installing GNUnet:: Installing GNUnet |
| 80 | * Using GNUnet:: Using GNUnet | 80 | * Using GNUnet:: Using GNUnet |
| 81 | @c * Configuration Handbook:: Configuring GNUnet | 81 | @c * Configuration Handbook:: Configuring GNUnet |
| 82 | * GNUnet Contributors Handbook:: Contributing to GNUnet | 82 | * GNUnet Contributors Handbook:: Contributing to GNUnet |