summaryrefslogtreecommitdiff
path: root/debian/gnumach-common.info
blob: 021e9a4ae89916784811a554481d676e8c1a73c8 (plain)
1
doc/mach.info*