Work on *.core.doc plug-in.

- Rename images.
- Update usermanual.html

Change-Id: I42141fb0f6e1bdda125eed9a4a7e44c1538eaf52
18 files changed
tree: 68e35fcd65d6eb2d7734ae9df6eea5fdd7656ea7
  1. .gitattributes
  2. .gitignore
  3. .project
  4. config/
  5. core/
  6. p2/
  7. pom.xml
  8. releng/