Delete the old VERSION file before appending the new one in make dist
authorJonas Fonseca <fonseca@diku.dk>
Wed, 20 Jun 2007 07:40:27 +0000 (09:40 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Wed, 20 Jun 2007 07:40:27 +0000 (09:40 +0200)

No differences found