os/debian/copyright
changeset 6755 7cca96e92189
parent 6168 91640fd48876