delete history

JuliaManifolds · Sep 26, 2023 · b041872 · b041872
commit b041872
Show file tree

Hide file tree

Showing 16,944 changed files with 7,184,486 additions and 0 deletions.
diff --git a/dev/assets/android-chrome-192x192.png b/dev/assets/android-chrome-192x192.png
diff --git a/dev/assets/android-chrome-512x512.png b/dev/assets/android-chrome-512x512.png
diff --git a/dev/assets/apple-touch-icon.png b/dev/assets/apple-touch-icon.png
diff --git a/dev/assets/documenter.js b/dev/assets/documenter.js
diff --git a/dev/assets/favicon-16x16.png b/dev/assets/favicon-16x16.png
diff --git a/dev/assets/favicon-32x32.png b/dev/assets/favicon-32x32.png
diff --git a/dev/assets/favicon.ico b/dev/assets/favicon.ico
diff --git a/dev/assets/images/SPDSignal.png b/dev/assets/images/SPDSignal.png
diff --git a/dev/assets/images/projection_illustration.png b/dev/assets/images/projection_illustration.png
diff --git a/dev/assets/images/projection_illustration_600.png b/dev/assets/images/projection_illustration_600.png
diff --git a/dev/assets/images/retraction_illustration.png b/dev/assets/images/retraction_illustration.png
diff --git a/dev/assets/images/retraction_illustration_600.png b/dev/assets/images/retraction_illustration_600.png
diff --git a/dev/assets/logo-dark.png b/dev/assets/logo-dark.png
diff --git a/dev/assets/logo-dark_bg.png b/dev/assets/logo-dark_bg.png
diff --git a/dev/assets/logo-text-readme-dark.png b/dev/assets/logo-text-readme-dark.png
diff --git a/dev/assets/logo-text-readme.png b/dev/assets/logo-text-readme.png
diff --git a/dev/assets/logo.png b/dev/assets/logo.png
diff --git a/dev/assets/logo_bg.png b/dev/assets/logo_bg.png
diff --git a/dev/assets/mstile-150x150.png b/dev/assets/mstile-150x150.png