summaryrefslogtreecommitdiff
path: root/debian/gnumach-dev.install
blob: e43b95cb9733f720809c937319f06f92ba92836e (plain)
1
usr/include