diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 15:26:03 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-03 15:28:06 +0200 |
commit | 855af9a0ee8d1bdebff882a62104134a71044dba (patch) | |
tree | 00a93447c5c045df3cc69375de884e76b065ad4a /Mach/UsefulOskitPatches.mdwn | |
parent | 94aafdb76706abe3c0d2f0f06c8f37fbcdb1056e (diff) |
Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.
Diffstat (limited to 'Mach/UsefulOskitPatches.mdwn')
-rw-r--r-- | Mach/UsefulOskitPatches.mdwn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Mach/UsefulOskitPatches.mdwn b/Mach/UsefulOskitPatches.mdwn deleted file mode 100644 index 6718610c..00000000 --- a/Mach/UsefulOskitPatches.mdwn +++ /dev/null @@ -1,3 +0,0 @@ -This page has been moved to [[OskitPatches]]. - --- [[Main/JoachimNilsson]] - 08 Jan 2003 |