add Windows info

diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
index 956ed11de7b7db1eaa6065afe23ffc651dc11fd6..b30fa06c9b177e5ec8bbcd2d4f4c02dae85eab17 100644 (file)
--- a/DEVEL/Developer.txt
+++ b/DEVEL/Developer.txt
@@ -4,7 +4,7 @@
  |___/\___|\_/\___|_\___/ .__/\___|_|  
                         |_|            
 
-$NHDT-Date: 1429884664 2015/04/24 14:11:04 $
+$NHDT-Date: 1447180052 2015/11/10 18:27:32 $
 
 Welcome to the NetHack Infrastructure Developer's Guide.
 
@@ -58,7 +58,8 @@ A. If you have never set up git on this machine before:
    You probably want to set up a credential cache.
        Mac OS X:
                git config --global credential.helper osxkeychain
-XXX windows
+       Windows:
+               git config --global credential.helper store
 XXX linux
 B. Specify the prefix for variable substitution:
    (This assumes you are not a member of DevTeam or any variant's development