diff options
author | Florian Müllner <fmuellner@gnome.org> | 2022-02-09 18:10:24 +0100 |
---|---|---|
committer | Marge Bot <marge-bot@gnome.org> | 2022-02-10 13:09:37 +0000 |
commit | e3a3f792005b7f7d6b95d83e0f56124da2d47986 (patch) | |
tree | cdc3b0b2aa4cb187968afcba96364f3e3b62a464 /src | |
parent | 5a23c96bd918e11609c1eb9856ea12c78ae7f5e1 (diff) | |
download | gnome-shell-e3a3f792005b7f7d6b95d83e0f56124da2d47986.tar.gz |
shell/app: Remove unused property ID
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2168>
Diffstat (limited to 'src')
-rw-r--r-- | src/shell-app.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/shell-app.c b/src/shell-app.c index 2ed23fab5..8790dba0f 100644 --- a/src/shell-app.c +++ b/src/shell-app.c @@ -93,7 +93,6 @@ enum { PROP_STATE, PROP_BUSY, PROP_ID, - PROP_DBUS_ID, PROP_ACTION_GROUP, PROP_ICON, PROP_APP_INFO |