delete_refs(): new function for the refs API
[git] / git-gui / lib / commit.tcl
2007-05-08  Shawn O. PearceMerge branch 'master' of git://repo.or.cz/git-gui