write_or_die: remove the unused write_or_whine() function
authorRamsay Jones <ramsay@ramsayjones.plus.com>
Thu, 9 Jun 2016 22:52:22 +0000 (23:52 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 10 Jun 2016 17:54:27 +0000 (10:54 -0700)
commitb333d0d...f450d4f9c4535fd9fd6e0f4ef367507c
tree22a07e4...c7a1d8b83cb02467f61b69714fb6f38acopy hash to clipboard (tree)
parentf0bca72...c77f62d61fc355bd6fe6e32b194950b8copy hash to clipboard (diff)
cache.h
write_or_die.c