prune_remote(): use delete_refs()
[git] / git-gui / lib / commit.tcl
2007-05-08  Shawn O. PearceMerge branch 'master' of git://repo.or.cz/git-gui