diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-08-03 21:08:53 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-08-03 21:08:53 +0200 |
commit | b01ae20614057cc982bc51256873aa73157667a4 (patch) | |
tree | b95798fa4a9ce574c428a1a4f21c79f0019f6d52 | |
parent | a3b5b2f60546ebaebdc691b8f83146eac0ad131e (diff) |
remove id tags. the wiki also takes care of this. wheee
-rw-r--r-- | doc/official_installation_guide_en | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/official_installation_guide_en b/doc/official_installation_guide_en index 0503b13..4726876 100644 --- a/doc/official_installation_guide_en +++ b/doc/official_installation_guide_en @@ -17,7 +17,7 @@ or mail to dieter@archlinux.org ## Introduction -### What is Arch Linux? ### {#What_is_Arch_Linux} +### What is Arch Linux? ### Arch Linux is an independently developed i686 and x86_64 optimized Linux distribution that was originally based on ideas from CRUX. Development is |