commit | fbe90fc502b231a290f383ccbe4552317b1f90be | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Thu Nov 12 12:21:08 2015 +0100 |
committer | Dani Megert <dmegert> | Thu Nov 12 12:21:08 2015 +0100 |
tree | 18c5a2c41df967d9cb0b4377f96ffbe3fd4724b1 | |
parent | bad1914871c4b04729ee75bed607fd94f93d4728 [diff] |
Fixed bug 481792: PDE feature does not require JDT feature