diff options
Diffstat (limited to 'plugins/org.eclipse.xtend.check.ui/build.properties')
| -rw-r--r-- | plugins/org.eclipse.xtend.check.ui/build.properties | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/plugins/org.eclipse.xtend.check.ui/build.properties b/plugins/org.eclipse.xtend.check.ui/build.properties index f315291f..963f2f01 100644 --- a/plugins/org.eclipse.xtend.check.ui/build.properties +++ b/plugins/org.eclipse.xtend.check.ui/build.properties @@ -12,9 +12,6 @@ source.. = src/ bin.includes = META-INF/,\ .,\ about.html,\ - about.ini,\ - about.properties,\ - about.mappings,\ eclipse32.png,\ plugin.properties,\ icons/,\ |