Remove unnecessary files

BatchDrake · Jul 5, 2022 · b027199 · b027199
1 parent a2af27d
commit b027199
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 702 deletions.
diff --git a/doc/BitXorMatrix.m b/doc/BitXorMatrix.m
diff --git a/doc/code-samples.tex b/doc/code-samples.tex
diff --git a/doc/frog.jpg b/doc/frog.jpg
diff --git a/doc/front.svg b/doc/front.svg
diff --git a/doc/further-examples.tex b/doc/further-examples.tex
diff --git a/doc/logo.pdf b/doc/logo.pdf
diff --git a/doc/main.pdf b/doc/main.pdf