Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
GNOME
mutter
Merge requests
!3
Merged
Created
Jan 25, 2018
by
Marco Trevisan
@3v1n0
🎺
Developer
Options
Add resource scale and fractional scale to clutter actors
Overview
87
Commits
21
Pipelines
46
Changes
24
As per
https://bugzilla.gnome.org/show_bug.cgi?id=765011
Edited
Feb 27, 2019
by
Marco Trevisan