mirror of
https://github.com/git/git.git
synced 2026-02-25 17:33:34 +00:00
The git term is 'working tree', so replace the most public references to 'working copy'. Signed-off-by: Carlos Martín Nieto <cmn@elego.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>