From: Egon W. <ego...@gm...> - 2009-01-14 10:09:06
|
On 1/14/09, Stefan Kuhn <ste...@eb...> wrote: > On Wednesday 14 January 2009 09:18:41 Egon Willighagen wrote: > > On 1/13/09, Stefan Kuhn <ste...@eb...> wrote: > > I'd rather see that last commit use to delete the branch from the > > repository. > > That would be an option too, but we would loose history then. Removing a branch does not mean it is no longer in SVN; it's just not visible in the HEAD revision. Egon -- ---- http://chem-bla-ics.blogspot.com/ |