diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
commit | 1de4ec0bcfad92dfa0b7cf69919d56c0dca4cb7a (patch) | |
tree | df1d22d227cacf7ce981448ea9c148c60c72f80c /config_edittemplate.mdwn | |
parent | 306cbd9d3afc7619bbaef2d14123f6a693802980 (diff) |
Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my
mind again. Also resolve conflicts and adapt all new uses of the path.
Diffstat (limited to 'config_edittemplate.mdwn')
0 files changed, 0 insertions, 0 deletions