diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
index 3e1cae9fa..956ed11de 100644
--- a/DEVEL/Developer.txt
+++ b/DEVEL/Developer.txt
@@ -4,7 +4,7 @@
  |___/\___|\_/\___|_\___/ .__/\___|_|  
                         |_|            
 
-$NHDT-Date: 1429881078 2015/04/24 13:11:18 $
+$NHDT-Date: 1429884664 2015/04/24 14:11:04 $
 
 Welcome to the NetHack Infrastructure Developer's Guide.