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