summaryrefslogtreecommitdiff
path: root/debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-10-05 13:33:02 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-10-05 13:33:02 +0200
commit3685b37ca7ef2d62b8a24008e127e721f8592d21 (patch)
tree3e7f35fa790f8789cb1f06b83070905708202927 /debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch
parent6f4d9c376a42f1a9c1865ad7a88bfaab0d4cf372 (diff)
drop old patch series
Diffstat (limited to 'debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch')
0 files changed, 0 insertions, 0 deletions