diff options
author | MutoShack <MutoShack@web> | 2019-05-05 04:13:51 +0200 |
---|---|---|
committer | GNU Hurd web pages engine <web-hurd@gnu.org> | 2019-05-05 04:13:51 +0200 |
commit | 27ac59202f2caf5c393326d7875eb61522d6d9dc (patch) | |
tree | e083e1fad96804244b069da79625042b741e38a4 /microkernel/mach/mig | |
parent | f4908c3fcc5f1794811f7d310a35219d119e82b6 (diff) |
Remove "GNU" prefix
Diffstat (limited to 'microkernel/mach/mig')
0 files changed, 0 insertions, 0 deletions