diff gui/win32/preferences.c @ 24755:d22f7397f563

Consistently set NOTE: in italics.
author diego
date Sun, 14 Oct 2007 09:13:53 +0000
parents 21e29d5932c5
children b2f710272c75
line wrap: on
line diff