summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.docs
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-05-31 17:51:44 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-05-31 17:51:44 +0200
commit5c7fa3595ddc63ac1922a456544cba28a347a455 (patch)
treee5d549856e703b7687e97451c62c5d36dd7346a7 /debian/gnumach-dev.docs
parentf4e1faf818096cd09add988879cbf6fa8819e99b (diff)
drop old patch series
Diffstat (limited to 'debian/gnumach-dev.docs')
0 files changed, 0 insertions, 0 deletions