diff options
| -rw-r--r-- | plugin/Makefile.mingw32.in | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/plugin/Makefile.mingw32.in b/plugin/Makefile.mingw32.in index 795f07a..ffdb28b 100644 --- a/plugin/Makefile.mingw32.in +++ b/plugin/Makefile.mingw32.in @@ -91,6 +91,7 @@ GUI_SRC = \  	@top_srcdir@/plugingui/texture.cc \  	@top_srcdir@/plugingui/texturedbox.cc \  	@top_srcdir@/plugingui/toggle.cc \ +	@top_srcdir@/plugingui/utf8.cc \  	@top_srcdir@/plugingui/verticalline.cc \  	@top_srcdir@/plugingui/widget.cc \  	@top_srcdir@/plugingui/window.cc \ | 
