diff m_option.c @ 35502:381cd31289f2

Cosmetic: Choose better variable name in Win32 GUI. This has been forgotten in r35588.
author ib
date Tue, 04 Dec 2012 20:10:10 +0000
parents 8756cd0da7b7
children 388b4cc85c0e
line wrap: on
line diff