gitweb: do not run "git diff" that is Porcelain
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: dfff4b7aa42de7e7d58caeebe2c6128449f09b76)
-rwxr-xr-x 1892 git-new-workdir