summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-02-21 12:52:06 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-02-21 12:52:06 +0100
commitee6fefbce91a1eefe88d8336fa09e45b1966c341 (patch)
tree8e2e9f58f95a5dfec062e79f6b85b77a7fc6198d /debian/gnumach-dev.install
parentf339810886b47b6f6a11dec5e983b2521cf2d2e8 (diff)
drop old patch series
Diffstat (limited to 'debian/gnumach-dev.install')
0 files changed, 0 insertions, 0 deletions