Closed bergmanngabor closed 11 years ago
This is a continuation of #9.
Remark: implementing both options at once would conflict with #121
Migrated to https://bugs.eclipse.org/bugs/show_bug.cgi?id=398762
This is a continuation of #9.
Remark: implementing both options at once would conflict with #121