summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-23 16:56:20 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-24 02:05:08 +0100
commitccfc95580e156fea90357f0478ea013ac2231640 (patch)
treeeb7afa9676010f222678e928c3429c655e4a23c1 /debian/control
parent0065acabe8a273a32c30043fc41ee063166d29ce (diff)
Ignore unknown force options (with a warning)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/control')
0 files changed, 0 insertions, 0 deletions