diff Gui/interface.c @ 8044:9a9b48c469f6

fixing shared pp
author michael
date Sat, 02 Nov 2002 16:14:42 +0000
parents e5dda05f9aab
children 9246adcf95f0
line wrap: on
line diff