diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-20 11:57:14 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-20 11:57:14 +0100 |
commit | a86ede2f3d29d6de6ef7c1eab577f00d4c583660 (patch) | |
tree | 7cd3a5185d8ebf995f75238fce6904b71c62596e /path/canvaPrinter.mli | |
parent | 986a36b3728eba40789d6063997dafda67b519ec (diff) |
Update
Diffstat (limited to 'path/canvaPrinter.mli')
-rwxr-xr-x | path/canvaPrinter.mli | 2 |
1 files changed, 0 insertions, 2 deletions
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 |