Chomp edit notes and CI cleanup (#10211)

This commit is contained in:
Drathek
2025-02-22 02:37:06 -06:00
committed by GitHub
parent d83059498e
commit decef6b094
7 changed files with 11 additions and 14 deletions

View File

@@ -19,7 +19,7 @@ def read_settings():
try:
map_folder = os.environ['MAPROOT']
except KeyError:
map_folder = 'modular_chomp/maps/'
map_folder = 'modular_chomp/maps/' # ChompEDIT
for _ in range(8):
if os.path.exists(map_folder):
break