ui: Remove redundant line (!100) · Merge requests · Archive / gnome-games · GitLab

This is an archived project. Repository and other project resources are read-only.

The source project of this merge request has been removed.

Alice Mikhaylenko requested to merge (removed):xml into master Aug 14, 2018

This property is already set in platform-list-view.xml.