summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-16 13:19:54 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-16 13:19:54 +0200
commitbd169cd2df89f891f246622af293645605da3fd7 (patch)
tree2c01293384d8779e1d0da57eb17b25aedf81378d /debian/gnumach-dev.install
parent7c802101c6d7213ed2b5d97f6575837721f0944f (diff)
add patch series
Diffstat (limited to 'debian/gnumach-dev.install')
0 files changed, 0 insertions, 0 deletions