refresh_index_quietly(): express "optional" nature of index writing better
[git.git] / gitweb / git-logo.png
blob16ae8d5382de5ffe63b54139245143513a87446e
gitweb/git-logo.png