diff options
Diffstat (limited to 'desktop/inc/pch/precompiled_deploymentgui.hxx')
| -rw-r--r-- | desktop/inc/pch/precompiled_deploymentgui.hxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/desktop/inc/pch/precompiled_deploymentgui.hxx b/desktop/inc/pch/precompiled_deploymentgui.hxx index c55a81a717c1..6ec6ce346ebb 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-02-01 10:57:35 using: + Generated on 2020-04-21 11:14:30 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: @@ -30,6 +30,7 @@ #include <limits.h> #include <memory> #include <new> +#include <optional> #include <ostream> #include <sstream> #include <stddef.h> @@ -84,7 +85,6 @@ #include <cppu/unotype.hxx> #include <cppuhelper/exc_hlp.hxx> #include <cppuhelper/implbase.hxx> -#include <optional> #include <o3tl/typed_flags_set.hxx> #include <salhelper/thread.hxx> #include <tools/gen.hxx> |