summaryrefslogtreecommitdiff
path: root/tools/make-man-rules.py
diff options
context:
space:
mode:
authorJan Engelhardt <jengelh@inai.de>2015-11-02 10:36:56 +0100
committerDaniel Mack <daniel@zonque.org>2016-01-28 11:12:29 +0100
commit9c5baa43ae5cd22a16fd056e3c40815c90d008cd (patch)
treed9986d9d73fa94b0f3d85b75f024164bb47663ee /tools/make-man-rules.py
parenta110e31bda43df40b5ea1be462eda15d48d53520 (diff)
man: avoid double virtualization
"VM virtualization" <=> "virtual machine virtualization", and double virtualization is just incorrect in this context.
Diffstat (limited to 'tools/make-man-rules.py')
0 files changed, 0 insertions, 0 deletions