Skip to content
This repository was archived by the owner on May 21, 2025. It is now read-only.

Conversation

@mickaelistria
Copy link
Contributor

No description provided.

@nickboldt
Copy link
Member

What about https://github.com/jbdevstudio/jbdevstudio-product/blob/master/plugins/com.jboss.jbds.product/build.properties#L12 ?

Also see refs to theming in these files:

./plugins/com.jboss.jbds.product/intro4/introContent.xml
./plugins/com.jboss.jbds.product/plugin_customization.ini
./plugins/com.jboss.jbds.product/plugin.xml
./plugins/com.jboss.jbds.product/themes/jbds/html/font-relative.css
./plugins/com.jboss.jbds.product/themes/jbds/html/shared.css
./plugins/com.jboss.jbds.product/themes/jbds/swt/createnew.properties
./plugins/com.jboss.jbds.product/themes/jbds/swt/gettingstarted.properties
./plugins/com.jboss.jbds.product/themes/jbds/swt/perspectives.properties
./plugins/com.jboss.jbds.product/themes/jbds/swt/root.properties
./plugins/com.jboss.jbds.product/themes/jbds/swt/standby.properties
./plugins/com.jboss.jbds.product/themes/jbds/swt/webresources.properties
./site/category.xml
./site/index.html

@nickboldt
Copy link
Member

Merged in #79 #80 #81

@nickboldt nickboldt closed this Oct 18, 2013
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants