Searched refs:save_marks (Results 1 – 3 of 3) sorted by relevance
411 public void save_marks(FILE *fout, constant char *hdr) in save_marks() function
1793 save_marks(fout, HISTFILE_MARK_SECTION); in save_cmdhist()
293 public void save_marks(FILE *fout, constant char *hdr);