summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-11-06 10:19:09 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-11-06 10:19:09 +0100
commitbdf3405bf279eb90e41aed76047f947161f33b66 (patch)
treece6c12c0065303b6cf6e453e2e93eeef0f32c017 /debian/gnumach-dev.install
parent2e855b29b014a8adda662286a88b3eb1d2b9f653 (diff)
sync with upstream packaging
Diffstat (limited to 'debian/gnumach-dev.install')
0 files changed, 0 insertions, 0 deletions