Searched refs:save_marks (Results 1 – 3 of 3) sorted by relevance
369 public void save_marks(FILE *fout, char *hdr) in save_marks() function
248 public void save_marks(FILE *fout, char *hdr);
1663 save_marks(fout, HISTFILE_MARK_SECTION); in save_cmdhist()