diff build/win32-config-dist.py @ 191:c725ecb2ce4c

* Full optimization for release builds; did not correctly implement it in my last commit.
author mvbarracuda@33b003aa-7bff-0310-803a-e67f0ece8222
date Sat, 28 Feb 2009 12:39:59 +0000
parents fa33cda75471
children 80b3c41c3427
line wrap: on
line diff