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 move? (i think filter-branch is the only option in this > case?)
the shell is moved. Please test, in case any build-related problem will surface (here seems to be working fine) -- Marco Martin _______________________________________________ Plasma-devel mailing list Plasma-devel@kde.org https://mail.kde.org/mailman/listinfo/plasma-devel
