Merge branch 'NetHack-3.6.2'

2018-09-11 08:50:07 -04:00
parent e7e3fe8622 3ac2041656
commit fc7b79a192
21 changed files with 719 additions and 65 deletions
--- a/util/.gitignore
+++ b/util/.gitignore
@@ -1,6 +1,8 @@
 dgn_lex.c
+dgn_flex.c
 dgn_yacc.c
 lev_lex.c
+lev_flex.c
 lev_yacc.c
 tiletxt.c
 makedefs