On Thursday 03 April 2014, Marco Martin wrote:
> Hi all,
> this was briefly mentioned in the past.
>
> the idea is to leave only libraries and plugins in plasma-workspace, and
> mode plasma-shell in the new plasma-workspace repository instead.
>
> Is everybody fine with this?
> Also, how to do th
On Thursday 03 April 2014 17:49:33 you wrote:
> Hi all,
> this was briefly mentioned in the past.
>
> the idea is to leave only libraries and plugins in plasma-workspace, and
> mode plasma-shell in the new plasma-workspace repository instead.
>
> Is everybody fine with this?
> Also, how to do the
Makes sense to me.
___
Plasma-devel mailing list
Plasma-devel@kde.org
https://mail.kde.org/mailman/listinfo/plasma-devel
On Friday 04 April 2014 08:34:14 Martin Gräßlin wrote:
> On Thursday 03 April 2014 17:49:33 Marco Martin wrote:
> > Hi all,
> > this was briefly mentioned in the past.
> >
> > the idea is to leave only libraries and plugins in plasma-workspace,
>
> I assume you mean plasma-framework here?
eh, ye
On Thursday 03 April 2014 17:49:33 Marco Martin wrote:
> Hi all,
> this was briefly mentioned in the past.
>
> the idea is to leave only libraries and plugins in plasma-workspace,
I assume you mean plasma-framework here?
> and
> mode plasma-shell in the new plasma-workspace repository instead.
>
Hi all,
this was briefly mentioned in the past.
the idea is to leave only libraries and plugins in plasma-workspace, and mode
plasma-shell in the new plasma-workspace repository instead.
Is everybody fine with this?
Also, how to do the move? (i think filter-branch is the only option in this
cas
