[gsettings-desktop-schemas: 2/2] Merge branch 'optional-hot-corner' into 'master'
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gsettings-desktop-schemas: 2/2] Merge branch 'optional-hot-corner' into 'master'
- Date: Wed, 10 Jul 2019 15:40:24 +0000 (UTC)
commit de2a4f3099f25552afa7192f2b85344b6661d343
Merge: 0abf3cf 1e25415
Author: Florian Müllner <florian muellner gmail com>
Date: Wed Jul 10 15:40:10 2019 +0000
Merge branch 'optional-hot-corner' into 'master'
schemas: Add 'enable-hot-corners' setting
See merge request GNOME/gsettings-desktop-schemas!26
schemas/org.gnome.desktop.interface.gschema.xml.in | 8 ++++++++
1 file changed, 8 insertions(+)
---
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]