diff options
| author |  Michael Haggerty <mhagger@alum.mit.edu> | 2014-10-01 12:28:07 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2014-10-01 13:38:39 -0700 |
| commit | 419f0c0f681b76d720699977abe03d29e22db554 (patch) | |
| tree | fe326a207ecc55c8103f28a07617eb542411427f /gitk-git/Makefile | |
| parent | api-lockfile: revise and expand the documentation (diff) | |
| download | tgif-419f0c0f681b76d720699977abe03d29e22db554.tar.xz | |
close_lock_file(): exit (successfully) if file is already closed
Suggested-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git/Makefile')
0 files changed, 0 insertions, 0 deletions