remove web folder (moved to separate repository)

UQ-PAC · Jul 1, 2024 · 0124695 · 0124695
1 parent 2186462
commit 0124695
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 279 deletions.
diff --git a/web/aslp.js b/web/aslp.js
diff --git a/web/dune b/web/dune
diff --git a/web/index.html b/web/index.html
diff --git a/web/js.ml b/web/js.ml
diff --git a/web/reset.css b/web/reset.css
diff --git a/web/worker.js b/web/worker.js