added missing define for win32
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Fri, 30 Mar 2007 16:21:46 +0000 (16:21 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Fri, 30 Mar 2007 16:21:46 +0000 (16:21 +0000)
commitbc4e4b3af6ea83bd895213b6845aed7aceeda702
tree4c5bc84f07b01415275116c3e02cfe1be76ae94f
parent3ae5692990249ceae26a1c7517f2c658c493bb0d
added missing define for win32

[r12605]
win32/config.h