diff options
| author | Jan Engelhardt <jengelh@inai.de> | 2014-08-03 07:11:12 +0200 |
|---|---|---|
| committer | Jan Engelhardt <jengelh@inai.de> | 2015-11-06 13:00:02 +0100 |
| commit | b938cb902c3b5bca807a94b277672c64d6767886 (patch) | |
| tree | 267bd1d61268865fa405b3e5a3027041f7f3a183 /man/machine-info.xml | |
| parent | a6bff4a7428b9539d85618e3c91fcb60be93f3fa (diff) | |
doc: correct punctuation and improve typography in documentation
Diffstat (limited to 'man/machine-info.xml')
| -rw-r--r-- | man/machine-info.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/machine-info.xml b/man/machine-info.xml index 916f1dab66..351133670b 100644 --- a/man/machine-info.xml +++ b/man/machine-info.xml @@ -124,7 +124,7 @@ <literal>tablet</literal>, <literal>handset</literal>, <literal>watch</literal>, and - <literal>embedded</literal> + <literal>embedded</literal>, as well as the special chassis types <literal>vm</literal> and <literal>container</literal> for |