The default branch for this project has been changed. Please update your bookmarks.
-
Kai Willadsen authored
This is a way of addressing the use of git difftool, where the temp files or folders it creates aren't useful things to have as a recently-used entry.
63cb4f28