2018-08-10 07:56:07 -04: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-29 20:48:18 -05:00
|
|
|
|
|
|
|
<file alias="ui/extensions-window.ui">extensionPrefs/ui/extensions-window.ui</file>
|
2018-08-10 07:56:07 -04:00
|
|
|
</gresource>
|
|
|
|
</gresources>
|