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