man/de/man5/vmm.cfg.5
branchv0.7.x
changeset 645 fcc3f100e56a
parent 588 dcde0010cdf8
equal deleted inserted replaced
644:d879f915c1c5 645:fcc3f100e56a