Re: [tycho-dev] tycho vs tycho-extras: what's the value?

[Guillaume Dufour <guillaume.duff@xxxxxxxxx>]

One repo to rull them all :)

Le jeu. 24 oct. 2019 à 17:56, Mickael Istria <mistria@xxxxxxxxxx> a écrit :

On Thu, Oct 24, 2019 at 5:05 PM Johan Compagner <jcompagner@xxxxxxxxx> wrote:

This split is just i think for "you" guys that are developing it not the actual users of it

That's why I asked this on the tycho-dev@xxxxxxxxxxx mailing-list and didn't send it to tycho-user@xxxxxxxxxxx ;)

_______________________________________________
tycho-dev mailing list
tycho-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/tycho-dev