# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 848387713 0
# Node ID 299c63a1e83f47d29e14ac4e909dd01071ce4327
# Parent  bc3740dfe78c6b31b6cd43dedcce1a46681cbe53
Use new name ms-w32.h for windowsnt.h

diff -r bc3740dfe78c -r 299c63a1e83f nt/config.nt
--- a/nt/config.nt	Tue Nov 19 07:14:26 1996 +0000
+++ b/nt/config.nt	Tue Nov 19 07:15:13 1996 +0000
@@ -205,7 +205,7 @@
 
    See s/template.h for documentation on writing s/SYSTEM.h files.  */
 #undef config_opsysfile 
-#include "s/windowsnt.h"
+#include "s/ms-w32.h"
 
 /* The configuration script defines machfile to be the name of the
    m/MACHINE.h file that describes the machine you are using.  The file is