diff options
author | Roland Grunberg | 2013-08-08 18:02:04 +0000 |
---|---|---|
committer | Roland Grunberg | 2013-08-09 14:25:31 +0000 |
commit | 300601c85a2a0dbe3e887e6fed3c4e76a5fe34ec (patch) | |
tree | 8ac72741c2e2775c7e3186a66e0dcb31848af620 /profiling/org.eclipse.linuxtools.rdt.proxy/build.properties | |
parent | 81e1945f0719cd2935b41ffb401ab3d60d029853 (diff) | |
download | org.eclipse.linuxtools-300601c85a2a0dbe3e887e6fed3c4e76a5fe34ec.tar.gz org.eclipse.linuxtools-300601c85a2a0dbe3e887e6fed3c4e76a5fe34ec.tar.xz org.eclipse.linuxtools-300601c85a2a0dbe3e887e6fed3c4e76a5fe34ec.zip |
Fix a few build.properties includes.
Change-Id: I27f3708b05f69b6d9ab8c178d1288020543934e9
Reviewed-on: https://git.eclipse.org/r/15261
Tested-by: Hudson CI
Reviewed-by: Roland Grunberg <rgrunber@redhat.com>
IP-Clean: Roland Grunberg <rgrunber@redhat.com>
Tested-by: Roland Grunberg <rgrunber@redhat.com>
Diffstat (limited to 'profiling/org.eclipse.linuxtools.rdt.proxy/build.properties')
-rw-r--r-- | profiling/org.eclipse.linuxtools.rdt.proxy/build.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiling/org.eclipse.linuxtools.rdt.proxy/build.properties b/profiling/org.eclipse.linuxtools.rdt.proxy/build.properties index ed1dfbad9e..6e16e40053 100644 --- a/profiling/org.eclipse.linuxtools.rdt.proxy/build.properties +++ b/profiling/org.eclipse.linuxtools.rdt.proxy/build.properties @@ -3,5 +3,6 @@ output.. = bin/ bin.includes = plugin.xml,\ META-INF/,\ .,\ - plugin.properties + plugin.properties,\ + about.html src.includes = about.html |