debian/copyright
changeset 4252 a07cd1d076bb
parent 2557 e3acb8823900