summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorhttps://www.google.com/accounts/o8/id?id=AItOawlhuDmpoP_69ebY9ZWu9hqr2RDLwsOf980 <Thomas@web>2015-04-14 18:03:11 +0200
committerGNU Hurd web pages engine <web-hurd@gnu.org>2015-04-14 18:03:11 +0200
commit94e499cc669d76a9f64998be3a75e1607261126d (patch)
tree87254caf2ab707221249c75149916a4b385f4650 /microkernel
parent28ff170f0e2965ed7a770f544d2b06b3414136fd (diff)
Link to recent discussion.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions