Searched refs:perma_marks (Results 1 – 2 of 2) sorted by relevance
17 extern int perma_marks;406 if (!perma_marks)
61 public int perma_marks; /* Save marks in history file */ variable507 BOOL, OPT_OFF, &perma_marks, NULL,