From ba9390489cf275683fd0d290058214b3d79c2864 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 2 Apr 2008 12:31:46 +0000 Subject: [PATCH] Updated MANIFEST. --- MANIFEST | 1 + 1 file changed, 1 insertion(+) diff --git a/MANIFEST b/MANIFEST index a4339a5..91b8877 100644 --- a/MANIFEST +++ b/MANIFEST @@ -21,6 +21,7 @@ tests/06_ints1.ml tests/06_ints2.ml tests/06_ints3.ml tests/10_constr1.ml +tests/10_constr2.ml tests/20_varsize.ml tests/60_ping.ml tests/70_ext3_sb.ml -- 1.8.3.1