diff gui/interface.c @ 28261:be9b682b9437

console output cosmetics
author diego
date Sun, 11 Jan 2009 11:28:01 +0000
parents 4876c89bafdd
children 0f1b5b68af32
line wrap: on
line diff