Ticket #37 (closed defect: fixed)
Opened 8 months ago
Last modified 3 months ago
Make sure eclipse plugin is updated to work with changes to #33
| Reported by: | JensLautenbacher | Assigned to: | MartinLeidig |
|---|---|---|---|
| Priority: | major | Milestone: | 0.13.2 |
| Component: | Core (general) | Version: | |
| Keywords: | Cc: | ||
