diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-04-29 10:18:48 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-04-29 10:18:48 +0200 |
| commit | 64bc4f0483bc668f5ec0fd85cd39cef80a04131c (patch) | |
| tree | 7041c8674172e990bc74d28b85b313d14ea98423 /microkernel | |
| parent | 6ccb3e0f305bc869c907477b97c95bcbc938bc32 (diff) | |
rules/source_repositories: Move a section.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions