diff Makefile @ 25713:0fe20154a883

gui_opts should be const for win32 gui as well (why, oh why, was all this code duplicated??).
author reimar
date Sun, 13 Jan 2008 16:26:28 +0000
parents 7ab58f012dd3
children e2ee46838240
line wrap: on
line diff