man/de/man5/vmm.cfg.5
branchv0.7.x
changeset 667 502561385ddf
parent 588 dcde0010cdf8
equal deleted inserted replaced
666:50148adebee9 667:502561385ddf