mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-04 23:05:47 +02:00

fixed a problem where we were not terminating debug sessions. Also removed a bunch of unused stuff.
937 B
937 B