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