summaryrefslogtreecommitdiff
path: root/faq/which_microkernel
diff options
context:
space:
mode:
authorBobHam <BobHam@web>2013-09-29 16:06:26 +0200
committerGNU Hurd web pages engine <web-hurd@gnu.org>2013-09-29 16:06:26 +0200
commit9061995e3454f933b80a263cc688b1303da599a7 (patch)
tree4e8eb854150c406d87040c52784a9a2979ee4b7d /faq/which_microkernel
parent39aa390a36507f5779b87d21dd93f9b734b62f0b (diff)
Minor edits for style
Diffstat (limited to 'faq/which_microkernel')
0 files changed, 0 insertions, 0 deletions