gnome-shell/subprojects/extensions-app/js/org.gnome.Extensions.src.gresource.xml.in at fa587b4b9e454b9e4ec60c7e3878a0fe2f8b4ccf - edu4rdshl/gnome-shell - Forgejo: Beyond coding. We forge.

edu4rdshl/gnome-shell

mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00

Florian Müllner 60d640189b extensions-app: Support building a separate Devel app

Follow the pattern used by most GNOME applications and add a profile
build option that allows building a Devel app instead of the regular
release.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3612

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1661>

2021-02-11 17:45:00 +01:00

9 lines

236 B

XML

Raw Blame History

 <?xml version="1.0" encoding="UTF-8"?>
 <gresources>
   <gresource prefix="/org/gnome/Extensions@profile@/js">
     <file>main.js</file>
     <file>misc/config.js</file>
     <file>misc/extensionUtils.js</file>
   </gresource>
 </gresources>