summaryrefslogtreecommitdiff
path: root/doc/handbook
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-01 12:50:52 +0000
committerng0 <ng0@n0.is>2019-03-01 12:50:52 +0000
commit43a00d14a710d18e8c506bc533de4925f87b1f7b (patch)
treeea5376fb3bd14d1eda718928cfdc8f656656e105 /doc/handbook
parent81bbd92b679d441b39653e8453884627c8682350 (diff)
user handbook: Grammar correction.
Diffstat (limited to 'doc/handbook')
-rw-r--r--doc/handbook/chapters/user.texi2
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.
@node Start and stop GNUnet
@section Start and stop GNUnet
-Previous to use any GNUnet-based application, one has to start a node:
+Prior to using any GNUnet-based application, one has to start a node:
@example
$ gnunet-arm -s -l gnunet.log