summaryrefslogtreecommitdiff
path: root/debian/patches/0003-ddb-add-kill-command.patch
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 17:09:32 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 17:09:32 +0200
commit77cdbfe8c535a436fe34e4d22c24a20da199d36c (patch)
treecd82f22a33518085785d427e5f95c73a01ade0bd /debian/patches/0003-ddb-add-kill-command.patch
parent945ff78a7046f910f1eca4ae741b42040184bffd (diff)
polish make_send_right.patch
Diffstat (limited to 'debian/patches/0003-ddb-add-kill-command.patch')
0 files changed, 0 insertions, 0 deletions