| commit | 0fc937fce0dbdc096dcda6e953070eed07ef40e8 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Apr 29 22:49:19 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Apr 29 22:49:19 2010 +0000 |
| tree | 43eb5bf7f9e9c24fef81319b41841acef2450f33 | |
| parent | b388703b01e9f40fc321565f4790253699a5e10e [diff] |
Fix for Bug 311109 - nested teams must be specified using their internal name with "$__OT__"