summaryrefslogtreecommitdiff
path: root/faq/which_microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2014-02-26 16:52:18 +0100
committerThomas Schwinge <thomas@codesourcery.com>2014-02-26 17:06:27 +0100
commit6c1a61d0dde66dd564df2945828d417c93638d2d (patch)
treede63cd333b5ec89406f8dda6f3d3ba9f808ed69d /faq/which_microkernel
parent5b0bad6fdbc8422403528ca6cc5f5e7039cfbed0 (diff)
hurd/translator/wishlist: Remove fsysoptsctl; just use shell scripting.
Diffstat (limited to 'faq/which_microkernel')
0 files changed, 0 insertions, 0 deletions