From 3e7d93c788773c7f8194a5465ee0f46961432d76 Mon Sep 17 00:00:00 2001 From: hjk Date: Tue, 14 Feb 2023 15:47:22 +0100 Subject: ProjectExplorer: Move some not-fully-session related bits ... out of SessionManager. The idea is to later move SessionManager into the Core plugin, which both is sensible conceptually and also prerequisite to merge the Bookmark plugin into TextEditor plugin. Currently, only the interface is split, as the load/save implemetations are non-mechanical to disentangle. Change-Id: I31631db3094ea192825a2ccaa6add6188662940b Reviewed-by: Eike Ziller Reviewed-by: --- src/plugins/android/androiddevice.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/plugins/android/androiddevice.cpp') diff --git a/src/plugins/android/androiddevice.cpp b/src/plugins/android/androiddevice.cpp index 252e4ee1fba..1902631fd6b 100644 --- a/src/plugins/android/androiddevice.cpp +++ b/src/plugins/android/androiddevice.cpp @@ -18,7 +18,7 @@ #include #include #include -#include +#include #include #include -- cgit v1.2.3