diff TOOLS/mencvcd @ 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 835822ce4bb1
children 50aebc84fe4e
line wrap: on
line diff