From 3534b2f4ed4ee682d2c09aa501e77338c0e166f7 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 11:10:51 -0500 Subject: Initial commit x2 --- test/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/dune') diff --git a/test/dune b/test/dune index d392dd2..adbe4c1 100644 --- a/test/dune +++ b/test/dune @@ -1,2 +1,2 @@ (test - (name test_apbox)) + (name test_stitch)) -- cgit v1.2.3