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?

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 ;)

Back to the top