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 9170251e193f3af2de160d3ce8885385124a2012..d22df8a26c3042fafed34190ef5d6a04ccd13bfd 100644 (file)
--- 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 */