summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-03-10 23:49:22 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-03-10 23:49:22 +0000
commit42c6596f2d925d1d6ee27368ebbee403cd0d0ace (patch)
tree83d60cea373e68b6d1514a0b9f218206be0bdce1 /debian/gnumach-dev.install
parentf8e898508b9f4326369a41c8411db2f3cfdbfaaa (diff)
parentda1d3f96dce69b29a03101dd4522da589b258f04 (diff)
Merge branch 'upstream' into upstream-dfsg
Conflicts: doc/mach.texi
Diffstat (limited to 'debian/gnumach-dev.install')
0 files changed, 0 insertions, 0 deletions