diff options
Diffstat (limited to 'desktop/inc/pch/precompiled_deploymentgui.hxx')
| -rw-r--r-- | desktop/inc/pch/precompiled_deploymentgui.hxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/desktop/inc/pch/precompiled_deploymentgui.hxx b/desktop/inc/pch/precompiled_deploymentgui.hxx index 95fd99aa5367..6207bfca69e4 100644 --- a/desktop/inc/pch/precompiled_deploymentgui.hxx +++ b/desktop/inc/pch/precompiled_deploymentgui.hxx @@ -13,7 +13,7 @@ manual changes will be rewritten by the next run of update_pch.sh (which presumably also fixes all possible problems, so it's usually better to use it). - Generated on 2020-12-04 09:59:12 using: + Generated on 2021-02-05 16:09:53 using: ./bin/update_pch desktop deploymentgui --cutoff=3 --exclude:system --exclude:module --exclude:local If after updating build fails, use the following command to locate conflicting headers: @@ -35,6 +35,7 @@ #include <sstream> #include <stddef.h> #include <string> +#include <string_view> #include <utility> #include <vector> #endif // PCH_LEVEL >= 1 |