diff Gui/interface.c @ 13824:bad703951cf9

a few 10l fixes by Wei Jiang <jiangw98@yahoo.com>
author faust3
date Sun, 31 Oct 2004 10:27:40 +0000
parents eb0d3c1b6c6d
children 00bb3326391c
line wrap: on
line diff