gitextensions/gitextensions — pull request #1507 by feinstaub (2012-12-27 11:56:45+00:00)
Title: Consistent naming: "working dir file" instead of "local" and "checked out file"

Currently both terms "local" and "checked out file" seem to refer to the working dir file. Hence this change, see screenshots.