Fix the git terminology by always referring to the "working tree"
authorAntonio Ospite <ao2@ao2.it>
Thu, 13 Dec 2018 15:52:16 +0000 (16:52 +0100)
committerAntonio Ospite <ao2@ao2.it>
Thu, 13 Dec 2018 15:52:16 +0000 (16:52 +0100)
The set of files checked out by git is called the "working tree", avoid
other definitions like "working directory" or "work dir".


No differences found