--- configure.dt 2018-12-29 16:23:02.355271146 +0100
+++ configure 2018-12-29 16:23:21.644060142 +0100
@@ -23329,6 +23329,8 @@
if test $platform_win32 = yes
then :
+ HAVE_VISIBILITY_TRUE='#'
+ HAVE_VISIBILITY_FALSE=
else $as_nop
[ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet)
]
