diff options
Diffstat (limited to 'profiling/org.eclipse.linuxtools.profiling.launch/build.properties')
| -rw-r--r-- | profiling/org.eclipse.linuxtools.profiling.launch/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiling/org.eclipse.linuxtools.profiling.launch/build.properties b/profiling/org.eclipse.linuxtools.profiling.launch/build.properties index 28b25dca76..36395ef7cd 100644 --- a/profiling/org.eclipse.linuxtools.profiling.launch/build.properties +++ b/profiling/org.eclipse.linuxtools.profiling.launch/build.properties @@ -7,3 +7,4 @@ bin.includes = META-INF/,\ plugin.xml,\ schema/,\ icons/ +src.includes = about.html |