diff options
author | ng0 <ng0@n0.is> | 2019-03-01 12:50:52 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-01 12:50:52 +0000 |
commit | 43a00d14a710d18e8c506bc533de4925f87b1f7b (patch) | |
tree | ea5376fb3bd14d1eda718928cfdc8f656656e105 /doc/handbook/chapters | |
parent | 81bbd92b679d441b39653e8453884627c8682350 (diff) | |
download | gnunet-43a00d14a710d18e8c506bc533de4925f87b1f7b.tar.gz gnunet-43a00d14a710d18e8c506bc533de4925f87b1f7b.zip |
user handbook: Grammar correction.
Diffstat (limited to 'doc/handbook/chapters')
-rw-r--r-- | doc/handbook/chapters/user.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/chapters/user.texi b/doc/handbook/chapters/user.texi index 647e9262c..1300b2bb6 100644 --- a/doc/handbook/chapters/user.texi +++ b/doc/handbook/chapters/user.texi | |||
@@ -33,7 +33,7 @@ always welcome. | |||
33 | @node Start and stop GNUnet | 33 | @node Start and stop GNUnet |
34 | @section Start and stop GNUnet | 34 | @section Start and stop GNUnet |
35 | 35 | ||
36 | Previous to use any GNUnet-based application, one has to start a node: | 36 | Prior to using any GNUnet-based application, one has to start a node: |
37 | 37 | ||
38 | @example | 38 | @example |
39 | $ gnunet-arm -s -l gnunet.log | 39 | $ gnunet-arm -s -l gnunet.log |