-
Daniel Teske authored
This is after plugins have been shutdown. The toolchains are saved on shutdown anyway. Change-Id: I7d84c3c4538f27aa3f4c7c2677307de49621d641 Reviewed-by: Tobias Hunger <tobias.hunger@digia.com>
287ba032
This is after plugins have been shutdown. The toolchains are saved on
shutdown anyway.
Change-Id: I7d84c3c4538f27aa3f4c7c2677307de49621d641
Reviewed-by: Tobias Hunger <tobias.hunger@digia.com>