pretty: factor out skip_empty_lines()
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: a010966844221ea14f1de26fdab8fe37332ff928)
-rw-r--r-- 483 git-gui.sh