Remove the carton distribution which is available at https://git.robu…

…r.coop/robur/carton.git
mirage · May 24, 2024 · 8a77efe · 8a77efe
1 parent 1d6f131
commit 8a77efe
Show file tree

Hide file tree

Showing 53 changed files with 0 additions and 10,034 deletions.
diff --git a/CHANGES.carton.md b/CHANGES.carton.md
diff --git a/bench/bench_pack.ml b/bench/bench_pack.ml
diff --git a/bench/benchmark.ml b/bench/benchmark.ml
diff --git a/bench/dune b/bench/dune
diff --git a/bench/linear_algebra.ml b/bench/linear_algebra.ml