mirror of
https://github.com/git/git.git
synced 2025-12-23 12:14:22 +01: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