From 2243b1bb00802e5e372c45f6a32454501b88e217 Mon Sep 17 00:00:00 2001
From: nhmall <nhmall@nethack.org>
Date: Mon, 10 Dec 2018 17:24:32 -0500
Subject: [PATCH] trigger update

---
 DEVEL/Developer.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
index f7917dc2d..0d55a3aeb 100644
--- 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:
-- 
2.40.0