push: add a config option push.gpgSign for default signed pushes
[gitweb.git] / gitk-git /
drwxr-xr-x   parent (dest: ; base: 68c757f2199911005918aba45aa8ae0fecc72074)
-rw-r--r-- 2158 Makefile
-rwxr-xr-x 346683 gitk
drwxr-xr-x - po