changeset 47115:95415d9788e6

Fix typo.
author Richard M. Stallman <rms@gnu.org>
date Fri, 30 Aug 2002 04:00:37 +0000
parents b0e4184605e5
children 733fb94b0b6a
files etc/LINUX-GNU
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/etc/LINUX-GNU	Thu Aug 29 22:06:26 2002 +0000
+++ b/etc/LINUX-GNU	Fri Aug 30 04:00:37 2002 +0000
@@ -68,7 +68,7 @@
 appreciating these programs, and thus being aware of GNU, which led
 people to think about the philosophical base of GNU.  Now users can
 install a unified operating system which is basically GNU, but they
-usually thing these are "Linux systems".  At first impression, a
+usually think these are "Linux systems".  At first impression, a
 "Linux system" sounds like something completely distinct from the "GNU
 system," and that is what most users think.