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