diff Makefile @ 194:0e75deb7d4d1

Remove workaround for previous file format compatibility changes.
author mas01cr
date Wed, 21 Nov 2007 11:38:19 +0000
parents 324699d56429
children 2ea1908707c7 2cc06e5b05a5
line wrap: on
line diff