Searched defs:altfilename (Results 1 – 3 of 3) sorted by relevance
334 public void set_altfilename(IFILE ifile, char *altfilename) in set_altfilename()
355 char *altfilename; in close_file() local
950 public void close_altfile(char *altfilename, char *filename) in close_altfile()