diff Gui/interface.h @ 13234:7056d7cfcd02

just some debugging junk i'd like to have in there for now :)
author rfelker
date Thu, 02 Sep 2004 23:51:05 +0000
parents 024b4c37a054
children 21e72b6d8d11
line wrap: on
line diff