diff Makefile @ 16696:18d17af87370

synced with 1.14, patch by Johan Bos, plus some formating changes by me
author gpoirier
date Thu, 06 Oct 2005 20:07:11 +0000
parents 414ece37801b
children 6b1d1e4adaea
line wrap: on
line diff