VERSION
author Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
Sat, 24 Jan 2009 12:52:58 +0000
changeset 4115 ec4e46b9547b
parent 3695 a60aeddab0fe
child 4595 13a5b15fbe34
permissions -rw-r--r--
Try to guess the location of the reference traces, when --with-regression-traces is not given (#478)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3695
a60aeddab0fe don't change VERSION
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 3693
diff changeset
     1
3-dev