| commit | 0577a22f2d86856b204317d6bf209b8f86b26c07 | [log] [tgz] |
|---|---|---|
| author | Thomas Schindl <tschindl> | Fri May 21 14:47:10 2010 +0000 |
| committer | Thomas Schindl <tschindl> | Fri May 21 14:47:10 2010 +0000 |
| tree | 908047bbd21acd9d0830e32b27393e69f7680f91 | |
| parent | c0992872c39761ba73510c73ac1a0b3692ee35a8 [diff] |
[Bug 304584] - [Tooling] Implement Workbench-Model-Tooling * remove unneeded menu element