os/debian/rules
changeset 6755 7cca96e92189
parent 5484 7ad86e421c42
child 7267 dab6a2c4561e