git-gui: Rename all_branches -> all_heads.
tree742f96ec6e3460d102ce06a3f619fe85c9e5e438
-rw-r--r-- 463 Makefile
-rw-r--r-- 1429 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 88052 git-gui