diff options
| author | Richard M. Stallman <rms@gnu.org> | 2002-08-30 04:00:37 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 2002-08-30 04:00:37 +0000 |
| commit | e5f41cf56196db552fd43752773252004286d845 (patch) | |
| tree | b83ba999693d9e18032142f5b61bb5598d28cf48 /etc | |
| parent | 8db2f2360bc5a591f2297271b0bc98790f59de84 (diff) | |
| download | emacs-e5f41cf56196db552fd43752773252004286d845.tar.gz | |
Fix typo.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/LINUX-GNU | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/LINUX-GNU b/etc/LINUX-GNU index b219a18d189..f3c5eeadaa0 100644 --- a/etc/LINUX-GNU +++ b/etc/LINUX-GNU @@ -68,7 +68,7 @@ operating system, installing and using them meant knowing and 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. |