2002-07-16 01:52:35 +00:00
|
|
|
bin.includes = plugin.xml,\
|
|
|
|
about.html,\
|
|
|
|
icons/,\
|
2002-10-17 20:42:27 +00:00
|
|
|
plugin.properties
|
2002-07-09 18:07:38 +00:00
|
|
|
source.cdtui.jar = src/,\
|
2002-06-28 14:20:21 +00:00
|
|
|
utils.ui/
|
2002-07-16 01:52:35 +00:00
|
|
|
src.includes = about.html
|