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 /favicon.ico | |
| 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 'favicon.ico')
0 files changed, 0 insertions, 0 deletions