| commit | 706d535665afdebe4ac52c089ee1762a96be5029 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Nov 28 23:40:55 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Nov 28 23:40:55 2010 +0000 |
| tree | 83e605a5061fb097100061f01b7f18c676ad1f84 | |
| parent | 8c9d5ea2e01b7e5e2cccd5b0683718092c37c3aa [diff] |
API consolidation for the otdt.ui plugin.