[gnome-shell] extensionPrefs: Remove unused files

From: Georges Basile Stavracas Neto <gbsneto src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] extensionPrefs: Remove unused files
Date: Sat, 21 Mar 2020 01:56:54 +0000 (UTC)

commit 3d69fa8b9ccb689abfba48db8b2e1400e9d99301
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Mar 19 23:24:34 2020 +0100

    extensionPrefs: Remove unused files
    
    We include the regular Config module from js/misc, not the stripped-down
    copy that was added in commit c8a4a9168.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1109

 js/extensionPrefs/js/misc/config.js.in | 2 --
 js/extensionPrefs/js/misc/meson.build  | 8 --------
 2 files changed, 10 deletions(-)

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]