gingerBill d390ae2f97 Minor change to misc/shell.bat

2025-10-28 13:26:56 +00:00

..

featuregen

…

compile_time_execution_problems.md

…

debug.bat

…

emblem.ico

…

get-date.c

…

lib_maker_clang.bat

…

lib_maker.bat

…

libs.txt

…

logo-slim.png

…

odin.manifest

…

odin.rc

…

remove_libraries_for_other_platforms.sh

…

shell.bat

…

sourcefile.ico

…

todo.md

…