diff options
| -rw-r--r-- | site/gnu/index.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/site/gnu/index.php b/site/gnu/index.php index 7ec6f61..fa1598f 100644 --- a/site/gnu/index.php +++ b/site/gnu/index.php @@ -63,8 +63,7 @@ <ul> <li>Texinfo is the official documentation format, for all GNU software.</li> <li>GNU Emacs has decent integration for editing Texinfo documents. See <em>Texinfo mode</em>. - However, any text editor should be fine (the lead developer of libreboot is actually interested - in vim)</li> + However, any text editor should be fine (the lead developer of libreboot uses Vim)</li> <li> i18n should be implemented from the start, so that we can start maintaining versions of the documentation in non-English languages. GNU Gettext can be used for this |