diff osdep/timer-win2.c @ 33472:beeeb43440fd

Keep the old option '-guiwid' around as CONF_TYPE_PRINT to inform of the new name.
author ib
date Sun, 05 Jun 2011 12:14:30 +0000
parents 1453fc56d49c
children
line wrap: on
line diff