gnome-shell/js/extensions
2023-08-06 13:02:49 +02:00
..
extension.js js: Port to modules 2023-08-06 13:02:49 +02:00
prefs.js extensions: Make ExtensionPreferences more flexible 2023-07-30 10:29:44 +03:00
sharedInternals.js extensionBase: Set up translations automatically 2023-07-30 10:29:44 +03:00