2018-08-10 11:56:07 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<gresources>
|
|
|
|
<gresource prefix="/org/gnome/shell">
|
|
|
|
<file>extensionPrefs/main.js</file>
|
|
|
|
|
|
|
|
<file>misc/config.js</file>
|
|
|
|
<file>misc/extensionUtils.js</file>
|
|
|
|
<file>misc/fileUtils.js</file>
|
|
|
|
<file>misc/params.js</file>
|
2019-11-30 01:48:18 +00:00
|
|
|
|
|
|
|
<file alias="ui/extensions-window.ui">extensionPrefs/ui/extensions-window.ui</file>
|
2018-08-10 11:56:07 +00:00
|
|
|
</gresource>
|
|
|
|
</gresources>
|