diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-16 22:21:43 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-04-16 23:17:43 +0200 |
| commit | 0cf03cdab38bd588390ddecc7086d8bb0f56d71f (patch) | |
| tree | 13456167731cc64ba7099013f3761041ec77f7e4 /doc | |
| parent | 8872f037708d83d8b71de6747be499066d287455 (diff) | |
| download | gnumach-0cf03cdab38bd588390ddecc7086d8bb0f56d71f.tar.gz gnumach-0cf03cdab38bd588390ddecc7086d8bb0f56d71f.tar.bz2 gnumach-0cf03cdab38bd588390ddecc7086d8bb0f56d71f.zip | |
doc: Add missing word.
* doc/mach.texi (Features): Add missing word.
Message-Id: <20200416202143.16804-1-rekado@elephly.net>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mach.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mach.texi b/doc/mach.texi index 07cb0ad1..dcf0f93c 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -374,7 +374,7 @@ IPC, currently not available in GNU Mach). @item it exists The Mach microkernel is real software that works Right Now. -It is not a research or a proposal. You don't have to wait at all +It is not a research project or a proposal. You don't have to wait at all before you can start using and developing it. Mach has been used in many operating systems in the past, usually as the base for a single UNIX server. In the GNU system, Mach is the base of a functional |