diff options
Diffstat (limited to 'profiling/org.eclipse.linuxtools.profiling.launch.ui.rdt.proxy/build.properties')
| -rw-r--r-- | profiling/org.eclipse.linuxtools.profiling.launch.ui.rdt.proxy/build.properties | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/profiling/org.eclipse.linuxtools.profiling.launch.ui.rdt.proxy/build.properties b/profiling/org.eclipse.linuxtools.profiling.launch.ui.rdt.proxy/build.properties index 8983699781..bc3b0f2bf1 100644 --- a/profiling/org.eclipse.linuxtools.profiling.launch.ui.rdt.proxy/build.properties +++ b/profiling/org.eclipse.linuxtools.profiling.launch.ui.rdt.proxy/build.properties @@ -4,5 +4,4 @@ bin.includes = META-INF/,\ .,\ plugin.xml,\ plugin.properties,\ - about.html,\ - bin/ + about.html |