diff gui/ui/gtk/preferences.h @ 35267:e057379d9360

Update for upstream r256.
author reimar
date Tue, 06 Nov 2012 18:17:04 +0000
parents d9b805602aa1
children
line wrap: on
line diff