Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this wiki page for instructions on how to get full permissions. Sorry for the inconvenience.

The migration is almost done, at least the rest should happen in the background. There are still a few technical difference between the old cluster and the new ones, and they are summarized in this issue. Please pay attention to the TL:DR at the end of the comment.

Commit 59c6015c authored 2 months ago by gpotter2 Committed by Marius Vlad 1 month ago

Browse files

Move shell structures of desktop-shell to the header


Signed-off-by: gpotter2 <10530980+gpotter2@users.noreply.github.com>

parent 6e88a851

No related branches found

No related tags found

Checking pipeline status

Hide whitespace changes

Inline Side-by-side

Showing with 168 additions and 162 deletions

Please register or to comment

Admin message

Admin message

Move shell structures of desktop-shell to the header