summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-09-21 13:05:15 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-09-21 14:06:54 +0200
commit7d37ea67aac9325af66289ea2afe7ed6bf270f00 (patch)
tree46c976a6703b273a920b90d2feb4f4007f36785b /microkernel
parent791bfae63cd91252f2b36449c28da3d0068aec49 (diff)
Rework, to not duplicate the `meta' plugin's ``license'' facility.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions