diff gui/interface.h @ 23609:ec2bfbd0d647

Get rid of a completely useless cast
author reimar
date Sun, 24 Jun 2007 10:14:42 +0000
parents 17bf4f4b0715
children f15bce7943b9
line wrap: on
line diff