mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-18 05:35:45 +02:00

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