Remove Mbrowse and Browse raw modules for the Pasetree

ocaml · Apr 8, 2024 · a8005e3 · a8005e3
1 parent a5fe05e
commit a8005e3
Show file tree

Hide file tree

Showing 6 changed files with 1 addition and 1,252 deletions.
diff --git a/src/kernel/mbrowse_p.ml b/src/kernel/mbrowse_p.ml
diff --git a/src/kernel/mbrowse_p.mli b/src/kernel/mbrowse_p.mli