diff options
author | Stephane Glondu <steph@glondu.net> | 2015-05-18 17:29:08 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2015-05-18 17:29:08 +0200 |
commit | 90ee23cb84d7a394d7fe97f5c153079c6a06c351 (patch) | |
tree | 43be1208ac172171c94eaa0da44fb2f97324f014 /tests/gen_test.mli | |
parent | cdfdfce5f08e397577ff78f20cd8f86e366fdff7 (diff) |
Imported Upstream version 2.04
Diffstat (limited to 'tests/gen_test.mli')
-rw-r--r-- | tests/gen_test.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/gen_test.mli b/tests/gen_test.mli index 1b81968..64b1c6f 100644 --- a/tests/gen_test.mli +++ b/tests/gen_test.mli @@ -20,7 +20,7 @@ (* LICENSE. *) (**************************************************************************) -(*i $Id: gen_test.mli 249 2012-06-27 08:11:14Z signoles $ i*) +(*i $Id: gen_test.mli 259 2014-10-29 10:00:46Z signoles $ i*) (* Generic functions used in the tests. *) |