diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-17 22:29:25 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-17 22:29:25 +0100 |
commit | e5c2a971644746818f8764481c60c4c5cf1a80c4 (patch) | |
tree | 2719a0c0c64f71c3277addb33ab1562602ba10cc /path/point.mli | |
parent | 20d10a93e5becb41d1145f9d35136782365b0ba4 (diff) |
Moved path builder in a dedicated file
Diffstat (limited to 'path/point.mli')
-rwxr-xr-x | path/point.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/path/point.mli b/path/point.mli index 068f4c1..4b75c3c 100755 --- a/path/point.mli +++ b/path/point.mli @@ -6,8 +6,5 @@ val get_coord : t -> Gg.v2 val create: float -> float -> t -val add_point_in_path - : (float * float) -> t list -> Shapes.Bezier.t list -> t list * Shapes.Bezier.t list - val get_coord' : t -> Gg.v2 |