1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge jcole@work.mysql.com:/home/bk/mysql

into main.burghcom.com:/usr/home/nusphere/bk/mysql


Docs/manual.texi:
  Auto merged
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted
This commit is contained in:
unknown
2000-09-22 15:11:22 -04:00
2 changed files with 3 additions and 1 deletions

View File

@@ -2609,7 +2609,7 @@ The manufacturer and model of the machine you are working on.
@item
The operating system name and version. For most operating systems, you can
get this information by executing the Unix command @code{uname -a}.
get this information by executing the UNIX command @code{uname -a}.
@item
Sometimes the amount of memory (real and virtual) is relevant.