diff gui/win32/preferences.c @ 24714:d6d3ee8591fe

cosmetics: Fix indentation after previous commit.
author diego
date Mon, 08 Oct 2007 11:31:28 +0000
parents 21e29d5932c5
children b2f710272c75
line wrap: on
line diff