comparison 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
comparison
equal deleted inserted replaced
35266:ceb148e1fe31 35267:e057379d9360