From: Jorrit Herder <jnherder@minix3.org>
Date: Fri, 13 May 2005 08:59:19 +0000 (+0000)
Subject: Renamed header file.
X-Git-Tag: v3.1.0~847
X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/invmod.png?a=commitdiff_plain;h=95151cb2654edc4b26bfe413c01649702edfe420;p=minix.git

Renamed header file.
---

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 */