Searched refs:write_history (Results 1 – 3 of 3) sorted by relevance
155 int write_history(const char *);
1166 write_history (history_filename); in quit_target()
1119 write_history(const char *filename) in write_history() function