diff Makefile @ 3838:0fdab5847f76

fixes a problem with undefined types (harmless anyway)
author pl
date Fri, 28 Dec 2001 18:14:23 +0000
parents 53ed66a4f0bf
children 0d1457cdde44
line wrap: on
line diff