fix unmerging in the branch manager
[divverent/div0-gittools.git] / git-branch-manager
2010-01-24 Rudolf Polzerfix unmerging in the branch manager
2010-01-11 Rudolf Polzerfix declaration bug
2010-01-11 Rudolf Polzerinitial import of git tools...