Hi Tobias, On Thu, 10 May 2012, Tobias Pietzsch wrote:
> concerning "my" branches, here is what should happen to them.
>
> These should be deleted:
Please do so, using
git push <remote> :<branch1> :<branch2> [...]
Ciao,
Dscho
_______________________________________________
ImageJ-devel mailing list
[email protected]
http://imagej.net/mailman/listinfo/imagej-devel
