update-server-info: Shorten read_pack_info_file()
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: c173dad58787a7f11a526dbcdaa5a2fe9ff1c87f)
-rw-r--r-- 633 git-gui.sh