Remove some unused images in documentation plugins

I used a simple script:

    for every file name of a given extension {
      grep for the file name usage
      if no result {
         delete it!
      }
    }

I only deleted things under the documentation plugins, to be safe.
This results in about 8MB of deleted images.

Change-Id: I566b8b1ff396b67689d273fc6e827dd3a02ad991
Signed-off-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com>

1 files changed, 0 insertions, 0 deletions

diff --git a/doc/org.eclipse.cdt.doc.user/images/project_properties.png b/doc/org.eclipse.cdt.doc.user/images/project_properties.png
deleted file mode 100644
index a257c6263c4..00000000000
--- a/doc/org.eclipse.cdt.doc.user/images/project_properties.png
+++ /dev/null