Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Restore "Don't record" option for conflicting programs.
As pointed out by George Nassas, it is sometimes convenient to set conflicts to don't record to make it easier to find later conflicts.
- Loading branch information