mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-05 08:46:02 +02:00
![]() Move preference page to new UI plugin. This is piece six of change https://git.eclipse.org/r/c/159828 being split into pieces. Splitting is done for code reviewing reasons. Change-Id: I9db0f3053ef9524a5b79a0fc9b8198ff241acb1a Signed-off-by: Martin Weber <fifteenknots505@gmail.com> |
||
---|---|---|
.. | ||
.settings | ||
META-INF | ||
schema | ||
src/main/java/org/eclipse/cdt/cmake/is/core | ||
.classpath | ||
.gitignore | ||
.options | ||
.project | ||
about.html | ||
build.properties | ||
plugin.properties | ||
plugin.xml | ||
pom.xml |