diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2014-09-17 11:13:49 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2014-09-17 11:13:49 +0200 |
| commit | 3a57701f0206d28d8ca63b41cc3ab8630312dd96 (patch) | |
| tree | 43383a8032557d04d2f6214afa34b3dab052e345 /microkernel/mach | |
| parent | bc6273e55431f8f935a9f089891d85ece060301a (diff) | |
shortcuts: Add GNU_Savannah_Git_hurd_gnumach.
Diffstat (limited to 'microkernel/mach')
0 files changed, 0 insertions, 0 deletions