debian/dirs
changeset 533 dd93707c482e
parent 106 0fff950e578e