From ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 5 Nov 2008 14:58:33 +0100
Subject: microkernel/mach/gnumach -> microkernel/mach/gnu_mach

---
 microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn

(limited to 'microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn')

diff --git a/microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn b/microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn
deleted file mode 100644
index 69ca3190..00000000
--- a/microkernel/mach/gnumach/hardware_compatibility_list/discussion.mdwn
+++ /dev/null
@@ -1,4 +0,0 @@
-Further information may still be found on
-<http://www.nongnu.org/thug/gnumach_hardware.html>
-and could perhaps be incorporated into that page.
---[[tschwinge]]
-- 
cgit v1.2.3