diff gui/interface.h @ 28405:73908b8bd543

cosmetics: Fix indentation after last commit.
author diego
date Sun, 01 Feb 2009 14:39:33 +0000
parents 9e739bdb049c
children 8c3fbc5bf67d
line wrap: on
line diff