2018-08-10 07:56:07 -04:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<gresources>
|
|
|
|
<gresource prefix="/org/gnome/shell">
|
|
|
|
<file>misc/config.js</file>
|
2018-09-05 20:55:20 -04:00
|
|
|
<file>misc/fileUtils.js</file>
|
2018-08-10 07:56:07 -04:00
|
|
|
<file>portalHelper/main.js</file>
|
|
|
|
</gresource>
|
|
|
|
</gresources>
|