mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-05 16:56:04 +02:00

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