This is cron-daily v1-Dec-12-2019. files updated: Files

diff --git a/Files b/Files
index ae6a626797816c2a25ff6a9b87a04fd4f51f54a4..794a570905e55ef28654074f3d078117c263502b 100644 (file)
--- a/Files
+++ b/Files
@@ -50,9 +50,10 @@ fixes30.pl08   fixes30.pl09   fixes30.pl10   fixes31.1      fixes31.2
 fixes31.3      fixes32.0      fixes32.1      fixes32.2      fixes32.3
 fixes33.0      fixes33.1      fixes34.0      fixes34.1      fixes34.2
 fixes34.3      fixes35.0      fixes36.0      fixes36.1      fixes36.2
-fixes36.3      fixes36.4      lev_comp.6     lev_comp.txt   makedefs.6
-makedefs.txt   mn.7           mnh.7          nethack.6      nethack.txt
-recover.6      recover.txt    tmac.n         tmac.nh        window.doc
+fixes36.3      fixes36.4      fixes36.5      lev_comp.6     lev_comp.txt
+makedefs.6     makedefs.txt   mn.7           mnh.7          nethack.6
+nethack.txt    recover.6      recover.txt    tmac.n         tmac.nh
+window.doc
 
 include:
 (files for GEM versions)