mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-22 06:02:11 +02:00
![]() - add pseudo attributes to allow others to extend the org-eclipse-cdt-ui preference node Change-Id: I79a7bbf80fee47988dc81e651375005640ceee1e |
||
---|---|---|
.. | ||
e4-dark_cdt.css |