Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gnome 42 update #220

Open
wants to merge 79 commits into
base: master
Choose a base branch
from
Open

gnome 42 update #220

wants to merge 79 commits into from

Conversation

amjfrankenstein
Copy link

gnome 42 update

c0ldplasma and others added 30 commits September 20, 2020 11:07
…exist anymore. Should not break anything as we set it to false, which was also the default value anyway.
Adjusted so that centered is truly centered.
This reverts commit 4a08c1e.

Revert removal of actors cause not all of theme were useless
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants