summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-17 11:45:02 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-17 11:45:02 +0200
commitca48760e84f6a779f4b679c3aef24b5c2b7a4657 (patch)
tree06ba021c16c4b21b6a4e5aed46adc067ae1a1058 /debian/gnumach-dev.install
parentf6b9ba3fcf4611818b9aa53763cdc97e6cb654b0 (diff)
drop merged patches
Diffstat (limited to 'debian/gnumach-dev.install')
0 files changed, 0 insertions, 0 deletions