Issue #1140 duplicate

API for manage issue with other tools like eclipse plugin

Jean-Michel ARMAND
created an issue

No description provided.