fix duplicate Docs

A family of Eclipse CDT extensions and tools for GNU ARM development.

Brought to you by: ilg-ul, justxi

Milestone: Next release

Status: open-accepted

Owner: Liviu Ionescu (ilg)

Labels: None

Priority: 5

Updated: 2015-10-26

Created: 2014-12-19

Private: No

in certain conditions, the documents displayed in the Docs view appear twice.

Liviu Ionescu (ilg) - 2015-10-26

migrated to GitHub Issues #25

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Liviu Ionescu (ilg) - 2015-10-26

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: