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

diff --git a/Files b/Files
index 93cde626b92e772fc6868799fa339eed11867229..c609cd478178c596b2cafbd9cf06b8d286e6891a 100644 (file)
--- a/Files
+++ b/Files
@@ -289,9 +289,9 @@ Makefile.msc         console.rc           nethack.def
 nh340key.c           nhdefkey.c           nhico.uu
 nhraykey.c           nhsetup.bat          ntsound.c
 nttty.c              porthelp             stub-pdcscrn.c
-stubs.c              sysconf.template     win10.c
-win10.h              win32api.h           windmain.c
-winnt.c              winos.h
+stubs.c              sysconf.template     travis-gcc.sh
+win10.c              win10.h              win32api.h
+windmain.c           winnt.c              winos.h
 
 test:
 (files in top directory)