diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-21 13:05:15 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-21 14:06:54 +0200 |
commit | 7d37ea67aac9325af66289ea2afe7ed6bf270f00 (patch) | |
tree | 46c976a6703b273a920b90d2feb4f4007f36785b /hurd/ng/choiceofmicrokernel.mdwn | |
parent | 791bfae63cd91252f2b36449c28da3d0068aec49 (diff) |
Rework, to not duplicate the `meta' plugin's ``license'' facility.
Diffstat (limited to 'hurd/ng/choiceofmicrokernel.mdwn')
0 files changed, 0 insertions, 0 deletions