VERSION
author Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Mon, 29 Oct 2007 14:40:25 +0100
changeset 2044 1ae23139a536
parent 1787 9c93c8680b0a
child 1850 560a5091e0e6
permissions -rw-r--r--
make the default value names more coherent.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1787
9c93c8680b0a bump version number
Tom Henderson <tomh@tomh.org>
parents: 1517
diff changeset
     1
3.0.7