man/de/man5/vmm.cfg.5
changeset 595 86b967c0f1a1
parent 588 dcde0010cdf8
equal deleted inserted replaced
594:cdbe200c0ecc 595:86b967c0f1a1