| commit | 3b664253030d1dd8c805f9faa49c2a880cb1c55b | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Nov 28 23:36:13 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Nov 28 23:36:13 2010 +0000 |
| tree | 605bfa669a28c312d094e364b389cce4264c23f8 | |
| parent | 117f97d584144bc39a5afc4a5fc2aa79c1607606 [diff] |
API consolidation for the otdt.ui plugin.