Rename local files

2025-09-27 22:07:52 +02:00
parent 9f97c094fb
commit 140d6da9d9
3 changed files with 2 additions and 2 deletions
--- a/.git-monitor_after.sh
+++ b/.git-monitor_after.sh
@@ -3,9 +3,9 @@

 MLFTP="/opt/pidp10/bin/mlftp"

-SOURCEFILE="./src/SUDOKU.MID"
+SOURCEFILE="./src/sudoku.s"
 TARGETFILE="SUDOKU 1 JALI;"
-PUZZLEFILE="./src/PUZZL1.SUDOKU"
+PUZZLEFILE="./src/puzzle_1.sudoku"
 PUZZLETARGET="PUZZL1 SUDOKU JALI;"


--- a/src/puzzle_1.sudoku
+++ b/src/puzzle_1.sudoku
--- a/src/SUDOKU.MID
+++ b/src/SUDOKU.MID