mirror of
https://github.com/git/git.git
synced 2026-01-15 21:29:17 +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