From 95151cb2654edc4b26bfe413c01649702edfe420 Mon Sep 17 00:00:00 2001
From: Jorrit Herder <jnherder@minix3.org>
Date: Fri, 13 May 2005 08:59:19 +0000
Subject: [PATCH] Renamed header file.

---
 servers/pm/{mm.h => pm.h} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename servers/pm/{mm.h => pm.h} (91%)

diff --git a/servers/pm/mm.h b/servers/pm/pm.h
similarity index 91%
rename from servers/pm/mm.h
rename to servers/pm/pm.h
index 9170251e1..d22df8a26 100644
--- a/servers/pm/mm.h
+++ b/servers/pm/pm.h
@@ -1,4 +1,4 @@
-/* This is the master header for mm.  It includes some other files
+/* This is the master header for PM.  It includes some other files
  * and defines the principal constants.
  */
 #define _POSIX_SOURCE      1	/* tell headers to include POSIX stuff */
-- 
2.44.0