clean master after moving of newer content to feature branch

2018-12-10 22:16:08 -05:00
parent 00efee7948
commit ca84486133
28 changed files with 257 additions and 927 deletions
--- a/DEVEL/Developer.txt
+++ b/DEVEL/Developer.txt
@@ -37,7 +37,7 @@ things.
 2. git repositories
 The public NetHack git repository is available (read-only) at:
  git://git.code.sf.net/p/nethack/NHsource
-     or
+    or
  https://github.com/NetHack/NetHack.git

 Branches: