diff Gui/interface.h @ 8657:37b083f196d7

10l fixes sync?
author faust3
date Mon, 30 Dec 2002 13:52:29 +0000
parents c6a1a5b6ba25
children 4a42c0604ce1
line wrap: on
line diff