pretty: make it easier to add new formats
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: 409578912cb21bdad4a75f34af7c0a815ac9d06b)
-rwxr-xr-x 1889 git-new-workdir