summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-10-16 17:55:25 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-10-16 17:55:25 +0200
commit3693b2fa0d17f370556e06a94d52c783cc97497c (patch)
tree878d68026a82ab1711f5ccad2948c2b292627d14 /debian/gnumach-dev.install
parentbd1f13f141be21694d1e6b829c0bcff6acb71a13 (diff)
drop merged patch
Diffstat (limited to 'debian/gnumach-dev.install')
0 files changed, 0 insertions, 0 deletions