man/de/man1/vmm.1
branchv0.7.x
changeset 667 502561385ddf
parent 625 ac27f89fad86
equal deleted inserted replaced
666:50148adebee9 667:502561385ddf