[Bug-gnubg] Windows Build/Python/batch_win.py

[Michael Petch]

Howdy Max,

I don¹t generally use python on windows but I am curious. Is there anything
special I need to do to get batch_win.py to work. From the CLI version I do:

 load python batch_win.py

It gives the error:

ImportError: No module named win32ui

I notice in the pythonlib directory there is a win32ui.pyd file. There is no
problem importing the win32con module.

Any help would be appreciated

Thanks,
Michael