Symbol: DEFAULT_SAVE_FILE
games/battlestar/battlestar.c
58
initialize((argc > 2) ? argv[2] : DEFAULT_SAVE_FILE);
games/battlestar/cypher.c
360
DEFAULT_SAVE_FILE);
games/battlestar/cypher.c
363
filename = save_file_name(DEFAULT_SAVE_FILE);