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 /microkernel/mach/gnumach | |
| parent | 791bfae63cd91252f2b36449c28da3d0068aec49 (diff) | |
Rework, to not duplicate the `meta' plugin's ``license'' facility.
Diffstat (limited to 'microkernel/mach/gnumach')
0 files changed, 0 insertions, 0 deletions