Searched refs:default_undo_file (Results 1 – 1 of 1) sorted by relevance
2904 char default_undo_file[1] = { 0 }; in main() local3007 undo_file = default_undo_file; in main()