mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-19 22:25:52 +02:00
preferences". All the changes are in the doc plugin and no changes were necessary in debug.ui. |
||
|---|---|---|
| .. | ||
| org.eclipse.cdt.doc.isv | ||
| org.eclipse.cdt.doc.user | ||