debian/copyright
changeset 3218 772cc931f085
parent 2557 e3acb8823900