| commit | a9d580e6a84e4bc66f0a9a14164181f28e254b44 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 20 21:16:03 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 20 21:16:03 2011 +0000 |
| tree | d42320a75f21100c8cd85f595ebd7254d1b351cb | |
| parent | 8fccb2e5ae2cdd3220b7740856c2b398f730dcf3 [diff] |
Additional implementation for Bug 314610 - Produce warning when two roles capture the same method at the same time - add markers to binary types and support those markers in the UI