Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [tycho-dev] tycho vs tycho-extras: what's the value?

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
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

Back to the top