write_or_die: remove the unused write_or_whine() function
[gitweb.git] / git-gui / macosx /
drwxr-xr-x   parent (dest: git-gui; base: b333d0d6f450d4f9c4535fd9fd6e0f4ef367507c)
-rw-r--r-- 706 AppMain.tcl
-rw-r--r-- 985 Info.plist
-rw-r--r-- 28866 git-gui.icns