diff Gui/interface.c @ 10500:d782d14dbec5

sync by Juan Martin <nauj27@teleline.es>
author diego
date Tue, 29 Jul 2003 20:20:40 +0000
parents 7b0bc557987b
children 57bdcdb061d7
line wrap: on
line diff