/* This is just a dummy file for Win32 pre-compiled headers. */
#include "global.h"