# # # patch "src/view/WorkspaceFloater.h" # from [5869b1d02385ee0b53a29af3acb665307d5854db] # to [645db5d659f260ab6b10611a7df5d2424bffe2f9] # ============================================================ --- src/view/WorkspaceFloater.h 5869b1d02385ee0b53a29af3acb665307d5854db +++ src/view/WorkspaceFloater.h 645db5d659f260ab6b10611a7df5d2424bffe2f9 @@ -21,7 +21,7 @@ #ifndef WORKSPACE_FLOATER_H #define WORKSPACE_FLOATER_H -#include +#include #include "ui_workspace_floater.h"