Documentation: fix diff.external example
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: bbff8aaaf2f2342b97882f93c9e30050918621c0)
-rwxr-xr-x 1892 git-new-workdir