| commit | 60be691b1ff5cdf7a19b7870665715f251472777 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Nov 09 11:30:31 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Nov 09 11:30:31 2010 +0000 |
| tree | 6c12707f11238ee9f6efe1a48e5775be9a50a6d5 | |
| parent | d948284c591cad7e418ce0fa06de2c08ed91ffd9 [diff] |
experimental: avoid unpacking the otdt.ui.help plugin