mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-15 12:15:47 +02:00
Reverting previous commit which was done by mistake.
This commit is contained in:
parent
02f5fce4c9
commit
8421cfe986