diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-22 15:06:12 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-22 15:06:12 +0100 |
| commit | 642ae5dda14d6e44dfd94eee6971915b7dc56b82 (patch) | |
| tree | a99bc1d6af3cba4272db24ab8434e2f5287fa78d /microkernel | |
| parent | 3a0cb3ff2a9eadd75010ca1a04781fb0b79ced74 (diff) | |
how_to_contribute_to_this_wiki -> contributing/wiki. Add redirection from the old location.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions