mirror of
https://github.com/git/git.git
synced 2026-01-16 21:59:45 +00:00
We need this later to avoid double locking a worktree, or unlocking one when it's not even locked. Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
2.1 KiB
2.1 KiB