From: John Darrington <john@darrington.wattle.id.au>
Date: Tue, 8 Dec 2015 07:44:23 +0000 (+0100)
Subject: Fix minor grammatical error in documentation
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=55178119a1dd305b7e0c3254cf5b6ddf6784e34f

Fix minor grammatical error in documentation
---

diff --git a/doc/utilities.texi b/doc/utilities.texi
index eb30f892d5..ea7f555ebb 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -863,7 +863,7 @@ SET LOCALE='ru_RU.cp1251'.
 SET LOCALE='japanese'.
 @end example
 
-Contrary to the intuition, this command does not affect any aspect 
+Contrary to intuition, this command does not affect any aspect 
 of the system's locale.
 @end table