diff options
Diffstat (limited to 'profiling/org.eclipse.linuxtools.profiling.time/build.properties')
| -rw-r--r-- | profiling/org.eclipse.linuxtools.profiling.time/build.properties | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiling/org.eclipse.linuxtools.profiling.time/build.properties b/profiling/org.eclipse.linuxtools.profiling.time/build.properties deleted file mode 100644 index 95ab5a9119..0000000000 --- a/profiling/org.eclipse.linuxtools.profiling.time/build.properties +++ /dev/null @@ -1,6 +0,0 @@ -source.. = src/ -output.. = bin/ -bin.includes = plugin.xml,\ - META-INF/,\ - .,\ - about.html |