diff Gui/interface.c @ 10633:e322ed02fa07

This should be up to date.
author diego
date Sat, 16 Aug 2003 20:54:41 +0000
parents a17ebe817e33
children 73702d2f93ab
line wrap: on
line diff