Searched defs:strip_extensions (Results 1 – 7 of 7) sorted by relevance
1544 char *strip_extensions[] = { ".sav", ".gz", ".bz2", ".xz", NULL }; in save_game() local
2819 int strip_extensions) in do_write_index()
2774 int strip_extensions) in do_write_index()