diff Gui/interface.h @ 6571:fdf45e8420d0

Paul Ortyl's patch
author alex
date Thu, 27 Jun 2002 10:12:31 +0000
parents cf2c2b92d1a7
children f554e7271587
line wrap: on
line diff