| commit | f7df65b104baf4c06d877d683e52c9f96ed3b639 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 20 21:16:08 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 20 21:16:08 2011 +0000 |
| tree | 2a1087cf9bc20faf4bf5e5bfadb89f62c6cd0a00 | |
| parent | a9d580e6a84e4bc66f0a9a14164181f28e254b44 [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