Go to file
1996-07-22 16:32:36 -07:00
gcc (undo_all): Clear previous_undos field. 1996-07-22 16:32:36 -07:00