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 16:50:04 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 16:50:04 +0200
commit945ff78a7046f910f1eca4ae741b42040184bffd (patch)
tree25ce4907e54d0fed94235ac6705211df9ee7fd41 /debian/patches/0003-ddb-add-kill-command.patch
parent3a31172e334b6f8ba2f7157604236c1a254de372 (diff)
polish make_send_right.patch
Diffstat (limited to 'debian/patches/0003-ddb-add-kill-command.patch')
0 files changed, 0 insertions, 0 deletions