From a86ede2f3d29d6de6ef7c1eab577f00d4c583660 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sun, 20 Dec 2020 11:57:14 +0100 Subject: Update --- path/canvaPrinter.mli | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 path/canvaPrinter.mli (limited to 'path/canvaPrinter.mli') diff --git a/path/canvaPrinter.mli b/path/canvaPrinter.mli deleted file mode 100755 index e273054..0000000 --- a/path/canvaPrinter.mli +++ /dev/null @@ -1,2 +0,0 @@ -include Repr.PRINTER - with type 'a t = Brr_canvas.C2d.Path.t -- cgit v1.2.3