trigger update

nhmall · nhmall · commit 2243b1bb0080 · 2018-12-10T17:24:32.000-05:00
diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
@@ -38,7 +38,7 @@ things.
 A public repository of the latest NetHack code that we've made 
 available can be obtained via git from either of two locations:
     https://github.com/NetHack/NetHack
-      or
+     or
     https://sourceforge.net/p/nethack/NetHack/
 
 Branches:
