write_head_info(): handle "extra refs" locally
[gitweb.git] / po /
drwxr-xr-x   parent (dest: ; base: 85f251045)