tree 18c5a2c41df967d9cb0b4377f96ffbe3fd4724b1
parent bad1914871c4b04729ee75bed607fd94f93d4728
author Dani Megert <dmegert> 1447327268 +0100
committer Dani Megert <dmegert> 1447327268 +0100

Fixed bug 481792: PDE feature does not require JDT feature