Try to remove locally built blueprint and website

leanprover-community · May 24, 2024 · f7838d0 · f7838d0
1 parent e32c62e
commit f7838d0
Show file tree

Hide file tree

Showing 31 changed files with 0 additions and 12,087 deletions.
diff --git a/docs/blueprint.pdf b/docs/blueprint.pdf
diff --git a/docs/blueprint/cha-from_local_to_global.html b/docs/blueprint/cha-from_local_to_global.html
diff --git a/docs/blueprint/chap-global.html b/docs/blueprint/chap-global.html
diff --git a/docs/blueprint/chap-local.html b/docs/blueprint/chap-local.html
diff --git a/docs/blueprint/chap-local_eversion.html b/docs/blueprint/chap-local_eversion.html
diff --git a/docs/blueprint/chap-loops.html b/docs/blueprint/chap-loops.html
diff --git a/docs/blueprint/dep_graph_document.html b/docs/blueprint/dep_graph_document.html
diff --git a/docs/blueprint/index.html b/docs/blueprint/index.html