#333)
Mark Olesen
authored
- now defaults to 'log.$WM_OPTIONS' (eg, log.linux64GccDPInt32Opt) for more clarity and fewer potential name clashes when building multiple versions.
Site will likely be offline for maintenance 14/15 April - more details soon
- now defaults to 'log.$WM_OPTIONS' (eg, log.linux64GccDPInt32Opt) for more clarity and fewer potential name clashes when building multiple versions.