Removing gallery manual HTML scripts

svalinn · Jun 7, 2024 · c89f5ce · c89f5ce
1 parent 0a0d2fe
commit c89f5ce
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 117 deletions.
diff --git a/docs/gallery/make_gallery.sh b/docs/gallery/make_gallery.sh
diff --git a/docs/gallery/make_html_entry.sh b/docs/gallery/make_html_entry.sh