diff options
author | BobHam <BobHam@web> | 2013-09-29 16:06:26 +0200 |
---|---|---|
committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2013-09-29 16:06:26 +0200 |
commit | 9061995e3454f933b80a263cc688b1303da599a7 (patch) | |
tree | 4e8eb854150c406d87040c52784a9a2979ee4b7d /faq/which_microkernel | |
parent | 39aa390a36507f5779b87d21dd93f9b734b62f0b (diff) |
Minor edits for style
Diffstat (limited to 'faq/which_microkernel')
0 files changed, 0 insertions, 0 deletions