mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00

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